OpenAI 宣称 AI 证明涵盖 Millennium Prize 问题一半、Kakeya 猜想与指数时间假说反例

导读

Rohan Paul 转述 OpenAI 宣称其 AI 完成三项跨领域数学证明。最重要的结果是指为期约 25 年的 Exponential Time Hypothesis 被其 AI 证明为假，而数百篇论文建立在该假说之上。