AI模型首次破解重要数学猜想
OpenAI一款未公开模型据称为1946年的埃尔德什单位距离问题找到反例,成为首个产生历史性数学成果的AI模型。人类数学家随后改进了相关思路,但该案例显示AI已能将其他数学分支的方法迁移到长期未解问题中。
事件进展(1 篇报道)
-
2026-08-05 19:49Hacker News Why Erdős Problems Are Falling to AI
OpenAI一款未公开模型据称为1946年的埃尔德什单位距离问题找到反例,成为首个产生历史性数学成果的AI模型。人类数学家随后改进了相关思路,但该案例显示AI已能将其他数学分支的方法迁移到长期未解问题中。