历经3个月，首届AI奥数竞赛终于公布最终结果了！Gemma 7B只能达到3/50正确率的题目中，第一名的Numina模型居然刷出了29/50的成绩。
上海近40度的高温，并没有阻止人们参会的热情——相反，7月4日于上海举办的2024年世界人工智能大会暨人工智能全球治理高级别会议，比去年更为火爆了。
大模型当上福尔摩斯，学会对视频异常进行检测了。 来自华中科技大学、百度、密歇根大学的研究团队，提出了一种可解释性的视频异常检测框架，名为Holmes-VAD。
7月4日，2024世界人工智能大会（WAIC 2024）在上海召开，主题为“以共商促共享 以善治促善智”，层级、规模相比前六届升级扩容，其中参展企业数、亮点展品数、首发新品数均达历史最高。谷歌、特斯拉、百度等国内外科技巨头齐聚现场，展示大模型技术与“人工智能+”创新应用的最新成果。
“有太多不法分子在使用 AI 生成视频，关键是要阻止他们并保护社会。”
硅谷圈又双叒叕要地震了？
「忙碌海狸」难题困扰了计算机科学家40多年。如今，来自全球各地20+业余开发者和数学家们，终于取得了突破性进展。他们抓到了第五只忙碌海狸——用Coq辅助证明，得到答案47176870。对此陶哲轩激动地表示，这再次体现了证明助手对数学研究协作的重要性。
这是一篇两个月前就应该写的文章。
10亿名“员工”生产数据合成，数量占到了世界人口的13%。
AI 考古，追溯到了祖师爷头上。
