#ai-in-math

The Decoder·8月2日 00:01 UTC

AI正在破解长期未解数学难题

这篇文章称，AI 系统如今已经能为长期未解的数学猜想构造反例并给出证明，其中包括 OpenAI 在 2026 年 5 月对“单位距离猜想”的反证。文章还提到，卡内基梅隆大学团队和其他研究者结合 SAT 求解器、语言模型生成的代码以及形式化证明验证，解决了更多开放问题。