单月 AI 或解千道数学题,两个月暴增超百倍

Dr_Singularity · x · 2026-10-11

DrSingularity 汇总近期 AI 数学研究进展:OpenAI 相关工作产出 722 篇 AI 数学论文;Google DeepMind 的 AlphaProof Nexus 解决了 9 个 Erdős 开放问题(其中 2 个悬置 56 年)并证明 44 个整数序列猜想,证明经 Lean 形式化验证。

作者指出,本月才过三分之一就已逼近「人类历史上首个单月 AI 解决 1000+ 数学问题」的月份,若节奏持续(传言 OpenAI 还有两次大发布),单月可能达 3000 题,相当于正常人类速度 50-100 年的进展。对比 9 月数量约为当前 1/10、8 月又比 9 月低约 10 倍,两个月增幅超 100 倍。他预测这股势头将很快扩展到物理、化学、生物、材料科学等硬学科。