AI赋能数学:从工具到“协作伙伴”的跨越

新闻

作者：微信文章
点击蓝字

关注我们



AI赋能数学：从工具

到“协作伙伴”的跨越



数学，作为科学之基，正在21世纪迎来前所未有的爆发期。从人工智能破解百年难题到黑洞散射中的几何奇迹，从青年学者逆袭破解百万美元猜想到基础数学的深层次理论突破，2025年的数学领域正以惊人的速度重塑人类认知的边界。

PART 1



AlphaEvolve攻克

“接吻数问题”





谷歌DeepMind发布的AI系统AlphaEvolve，成功解决了困扰数学家300余年的11维空间接吻数问题，提出包含593个外层球体的构型，刷新了该维度下界。其核心技术结合几何建模、组合优化与概率统计，突破了传统依赖人工直觉的瓶颈。

PART 2



FormalMATH：形式化数学推理的新标杆





国际团队推出首个大规模形式化数学推理基准FormalMATH，涵盖5,560个数学命题，横跨代数、几何、数论等领域。实验显示，当前最强AI定理证明器仅能解决16%的问题，揭示AI在严格逻辑推理中的局限性，同时推动人机协作框架的优化。

PART 3



数学未来趋势

与中国进展



数学的未来正由两大趋势定义：一是AI从“辅助工具”升级为“共同探索者”，如AlphaEvolve和FormalMATH的实践所示；二是青年学者突破传统路径，如周忠鹏从程序员到数论新星的蜕变，证明非学术环境也可能孕育颠覆性思想。

正如丘成桐所言：“最先进的国家必有最一流的数学。”中国通过政策支持与跨学科中心建设，正加速向数学强国迈进。数学的星辰大海，从未如此触手可及。





【End】



编辑|魏云龙

文稿|张东鑫

审核|王   茜