新闻资讯8

谷歌DeepMind宣战数学难题，陶哲轩警示风险

新智元2025-10-30

AI 摘要

谷歌DeepMind发起计划，联合五大机构用AI强攻数学难题，旗下多款AI模型表现出色。陶哲轩警示AI滥用风险，提出论文用AI三大建议，强调作者担责，AI仅辅助审核。

关注公众号

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

公众号专辑

OpenAI：GPT破十大数学难题近“奇点”

OpenAI公开62页核心手稿，展示GPT对十大「菲尔兹奖级」数学难题的完整推演，涵盖高维球体堆积、非sofic群构造等。仅花2000美元Token成本，引发全网热议，被指或为GPT - 6，强化学习大佬称像“奇点前夜”。

这个周末，OpenAI与Anthropic两大AI巨头在数学前沿短兵相接。先是OpenAI用未发布模型Astra证明10项数学成果，不到24小时，Anthropic的Fable复现了其中5项。AI解难题成本降低，成果验证成新考验。

菲尔兹奖得主陶哲轩在ICM大会称数学迎来百年危机，上次危机是检查逻辑地基，这次是价值观地基。他以First Proof评测展示AI解数学题能力，提出“工作假设”分析数学研究目标及KPI变化和“证明过剩”问题，还给出应对之策。

7月24日，陶哲轩在ICM 2026演讲指出数学界正经历新危机，关乎价值观与工作方式。他围绕AI能力猜想探讨数学界如何应对，列举目标和风险，提出需升级目标，还介绍莱顿宣言建议。