Hacker News · AI 与工程·· 3 小时前精选AI 评分88
OpenAI 发布三项数学与计算复杂性证明，Anthropic 同日给出反驳结果
Dueling proofs from OpenAI and Anthropic astound scientists
AI 导读
OpenAI 公布三项由内部大模型生成的证明，分别涉及 Kakeya 猜想在所有维度的情形、Yang-Mills 理论的“存在性”部分，以及给出略快于指数时间的 3-SAT 算法从而反驳指数时间假设（ETH）。
推荐理由
报道梳理了 OpenAI 三项证明的内容与争议，并对照 Anthropic 的独立结果，便于了解这场数学与计算复杂性争论的进展。
来源：Hacker News · AI 与工程 · scientificamerican.com