OpenAI内部模型产出722篇数学手稿

2026年10月6日，OpenAI发布由未公开发布的内部模型生成的722篇数学手稿，分属372个结果族，涵盖几何、代数、数论等方向，部分结果涉及长期未解问题。许多证明已用Lean形式化验证，次日因符号错误撤下三篇，表明人类核验仍具决定性。

• HN讨论：数学家为何抛弃OpenAI2026-10-17
• OpenAI 分享 AI 生成的 Navier–Stokes 解与 Lean 形式化证明2026-09-09
• 研究：智能眼镜可助AI答对SAT八成题目2026-11-01
• OpenAI融资目标下调100亿美元，估值降至1.25万亿2026-10-31
• GPT-5.6 Sol在和平模式下通关《异星工厂》2026-10-31