Hacker News· aanet·· 1 天前精选AI 评分89
OpenAI 与 Anthropic 相继发布数学证明，令科学家震惊
Dueling proofs from OpenAI and Anthropic astound scientists
AI 导读
OpenAI 公布三项涉及数学、物理和计算机科学的证明，包括 Kakeya 猜想在所有维度的证明、Yang-Mills 理论“存在性”部分，以及给出比指数时间略快的 3-SAT 算法从而反驳指数时间假设（ETH）。
推荐理由
报道梳理了 OpenAI 三项数学证明的内容与争议，并对照 Anthropic 的独立结果，呈现两家在自动数学发现上的竞争态势。
来源：Hacker News · scientificamerican.com