Paul Erdős 一生留下上千道悬赏难题,一直是人类智力的试金石。前几天宣称 GPT-5 一口气解决了十道,随后被扒出,它其实是翻出了早已发表、却没登记进 erdosproblems 网站的旧证明。
Thomas Bloom 和 Terence Tao 都下场澄清,AI 眼下更像一个不知疲倦的文献侦探,把散落一个世纪的成果重新接上,而不是从零证明。
OpenAI 最近利用 AI 推翻 Erdős 离散几何猜想,
这是ai科研的alphago时刻
可能意味着ai在科研领域全面超越人类科学家的时刻已经很近了
对这个问题,传统数学家主要在几何空间内优化,而 AI 却把问题转化到了代数数论结构中,找到了一整类全新解法。
这意味着 AI 已不只是模式匹配,而开始具备跨领域、跨抽象层的泛化能力。
历史上许多重大科学革命,例如爱因斯坦的相对论,本质上也是人类泛化能力的最好的展现:发现不同领域间更深层的统一结构