OpenAI公开722篇数学手稿，称推进挂谷猜想

OpenAI于10月7日公开722篇数学手稿，论文和部分Lean证明上传至GitHub。其中编号074的两篇共272页，署名只有OpenAI，声称证明了三维挂谷极大函数猜想和四维挂谷猜想。 这批手稿中只有约42%的结果做了Lean形式化；074号这组成果没有Lean形式化，也没有经过同行评审。报道称，一些未经形式化的结果「可能有问题」。

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

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