OpenAI称AI模型3小时攻克更难挂谷问题，722篇数学手稿引发验证争议

OpenAI称其未公开的内部模型平均耗时约3小时，产出包含三维挂谷极大函数猜想和四维挂谷集结论在内的数学成果，并发布722篇手稿。相关手稿归为372个成果族，其中235个附有Lean形式化说明；但074号手稿尚无Lean证明，也未经过同行评审，数学界对其正确性、可复现性及集中发布方式存在争议。