OpenAI密集发布AI生成的数学研究材料,数学界围绕理解、验证与开放基础设施展开争论。陶哲轩提醒,解题速度不等于数学洞见,行业需警惕掠夺式开采。

AI已能解奥赛题、批量生成数学手稿,却仍难跨越“人类能否理解”的门槛。数学家集体发声,争论焦点不是机器,而是数学该如何被对待。

OpenAI 公开的两篇手稿合计 272 页,一篇把三维挂谷猜想加强到极大函数版本,一篇声称证明四维挂谷集的 Hausdorff 维数。成果未经同行评审,也未做 Lean 形式化,数学界反应两极。

OpenAI 公开 719 份 AI 数学证明,因符号错误撤回 3 份,并因披露不足引发争议。陶哲轩批评把“速通难题”当目标,称其为“证明消化不良”。

菲尔兹奖得主陶哲轩12年前预言计算机将自动验证数学证明、形式化语言取代LaTeX。如今,他借助AI和Lean工具亲自实践,证明了大规模协作数学的可行性。