AI 证明数学猜想引发学界冲击

2026 年 9 月 8 日，OpenAI 宣布其模型解决了一个著名数学问题，成为这场讨论的起点。据 Quanta Magazine 长文报道，此后 AI 模型开始证明数学猜想，给数学界带来冲击。文章记录了伯克利一场讲座上学生和研究者对职业前景的愤怒与焦虑。报道指出，AI 生成的证明虽经系统验证为真，却难以阅读、缺乏理解；同时 OpenAI 表示将 100 多项重要结果保密。目前事件仍在发展，学界对 AI 介入数学证明的后果持续关注。

AI 根据报道生成 · 3 小时前更新

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