Scientific American·· 8 天前精选推荐指数87.60
Dueling proofs from OpenAI and Anthropic astound scientists
OpenAI与Anthropic的对垒证明令科学家震惊
导读
The results resolve major problems in math, physics and computer science. But like other recent AI-generated “slop drops,” the releases are already controversial
OpenAI公开三项由AI生成的数学证明，涉及Kakeya猜想、Yang-Mills存在性与指数时间假设，但过程不透明且违背其自设专家组的建议。Anthropic随即发布反驳ETH的独立结果，使这场AI数学竞赛的可靠性争议升级。
推荐理由
文章把三项证明拆成三个小节，每节都先解释问题本身再讲AI做了什么，适合练“定义—主张—证据”的结构定位。注意作者反复强调“未公开模型与提示词”“违背AGMAI建议”，态度藏在事实陈述里；Yang-Mills一节用Balaban的旧工作做对比，是典型的比较观点题素材。ETH部分涉及P vs NP，可练因果与推断。
来源：Scientific American · scientificamerican.com