RecodeX 重构消息,10月7日,OpenAI一次性公开722篇数学手稿,论文及部分Lean证明上传至GitHub。其中编号074的两篇手稿共272页,作者栏仅署OpenAI。一篇声称证明了三维挂谷极大函数猜想,比王虹与Joshua Zahl的版本更强;另一篇声称将四维挂谷集的Hausdorff维数直接证到4,此前人类进展停留在约3.059。
两篇论文均未做Lean形式化,也未经过同行评审,OpenAI在README中提示部分未形式化结果可能存在问题。四维论文只解决了Hausdorff维数版本,未解决四维极大函数猜想,五维及以上仅给出投影下界。