算法论文8

11位数学家实验测AI解数学题能力

量子位2026-02-08

AI 摘要

11位顶尖数学家发起First Proof实验，设计10道研究级数学题，检验AI解题能力。陶哲轩称实验有趣，当前AI一次性提示难解题，截止2026年2月13日成果值得关注。

关注公众号

扫码关注
第一时间收到每日精选

公众号专辑

谷歌Gemini 4 Argon全球可用

本文报道谷歌正式全球上线Gemini 4 Argon，详细说明了开放范围与定价规则，放出大量谷歌内部及合作方的实际应用案例，覆盖多领域，回应了此前对该模型实用性的质疑。

宇树科技创始人王兴兴在2025工博会圆桌论坛上，坦诚反思过去十几年最大错误是对AI不够相信，分享了具身智能、人形机器人领域的核心判断，预判临界点最快一两年到来。

本文报道PAIR 2026大会“下一代计算范式”专题圆桌讨论，多位业内专家围绕AI与量子计算的双向赋能，探讨二者的应用进展、能力边界与科研分工，梳理了前沿探索方向。

本文报道九章云极言表实验室在陶哲轩发起的数学蒸馏挑战赛第二阶段拿下全部赛道满分，解决28个未解决开放数学问题，介绍了其可验证AI+强化学习的AI4S布局。