新闻资讯8

陶哲轩用GPT - 5 29行代码解数学难题

量子位2025-10-04

AI 摘要

陶哲轩用GPT - 5解决MathOverflow上关于序列是否为高度丰数子集的问题，通过沟通生成参数，用29行Python脚本验证。这不是他首次用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能力猜想探讨数学界如何应对，列举目标和风险，提出需升级目标，还介绍莱顿宣言建议。