又有 9 个埃尔德什（Erdős）问题被 AI 解决了，这次是 DeepMind 团队实现的。

上周日，大模型科研领域再次传来里程碑事件：DeepMind 的大模型在一次「测试」中，直接解决了 9 个开放的 Erdős 问题。这次 AI 不仅自动解题，还进行了自动验证，随后其解法通过了人工审查。这次研究是数学界和 AI 界已知的首次针对开放式研究级数学问题进行的大规模形式化证明搜索评估。
现在，AI 不再只是在做奥数题了，现在它们已称得上是正经的「科研人员」。
...

完整内容戳👆🏻正文~ 感谢阅读，如果你觉得对你有用的话 ~ 欢迎点赞收藏并分享给你的盆友们~非常感谢！