新闻资讯8

谷歌公开IMO金牌模型AlphaProof技术细节

量子位2025-11-13

AI 摘要

谷歌DeepMind公开AlphaProof模型技术细节。团队小，核心成员提新方法。它将证明变游戏，训练用自动形式化。赛场靠TTRL突破，已开放使用，但处理新定义有瓶颈，数据生成待拓展。

关注公众号

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

公众号专辑

陶哲轩：AI开启数学2.0时代

本文报道菲尔兹奖得主陶哲轩发表《数学2.0》演讲，梳理近期AI接连攻克重大数学难题的进展，提出AI将数学带入证明过剩的新时代，警示人类不能丢失对数学的理解，呼吁人机合作增强认知。

本文是InfoQ编译的科技播客访谈，Reflection AI由前Google DeepMind Gemini团队成员创立，近期发布了5010亿参数的开放大模型Beam，主打编程、推理和智能体任务，发布一周后传出英伟达拟收购该公司的消息，访谈中分享了对开放模型诸多问题的观点。

本文报道谷歌DeepMind推出AI数学证明框架AlphaProof Nexus，破解多道悬而未决的数学难题含两道56年埃尔德什开放问题，成果经同行评审登上《Science》，对比OpenAI此前发布方式的争议，介绍其工作流程。

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