Dueling proofs from OpenAI and Anthropic astound scientists

OpenAI用内部大语言模型给出了杨-米尔斯理论“存在性”部分的证明，抢在两名人类数学家之前宣布结果。事件引发对证明来源、验证时长与学术规范的争议。

OpenAI公开三项由AI生成的数学证明，涉及Kakeya猜想、Yang-Mills存在性与指数时间假设，但过程不透明且违背其自设专家组的建议。Anthropic随即发布反驳ETH的独立结果，使这场AI数学竞赛的可靠性争议升级。