⌘ K
… 读取采集状态 同步中...
雷
原文
X:Greg Brockman (@gdb)·· 2026-09-08AI 评分1

湖南大学论文借 OpenAI Codex 证明球面 Hadwiger 猜想引发数学界前景讨论

AI 导读

博主 _alternator_ 撰文讨论湖南大学 Wang & Wu 的新预印本,其证明自 1974 年悬置的球面 Hadwiger 猜想时声明使用了 OpenAI Codex 协助完善证明细节、查找缺口和排版编辑。

本文当前提供导读和图片预览,完整图文请查看原文。

来源:X:Greg Brockman (@gdb) · mbmccoy.dev