OpenAI数学新发现引发争议

2026年10月30日，OpenAI宣布在数学、计算机科学和物理学领域取得三项新发现。知名数学家陶哲轩对此表示质疑，认为AI在数学研究中过度追求速度而忽视理解。他提出Math 2.0构想，倡导数学共同体建立自己的开放模型和研究工具。同期，AI数学研究公司Axiom Math完成了有限单群分类定理的形式化证明。人类数学协会已有1008位成员加入'无AI研究小组'。

AI 根据报道生成 · 43 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。