Dueling proofs from OpenAI and Anthropic astound scientists

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數學競賽的可靠性爭議升級。