AI 与数学的融合：技术路径、应用前沿与未来展望（2026 版） | Luhui's Personal Website

https://blog.liluhui.cn/2026/02/06/AI-and-Mathematics-2026/ 

 前言数学，长期以来被视为人工智能最难攻克的高地之一。 它高度形式化、符号密集、推理链条漫长，对中间过程的正确性有极高要求——这与大模型擅长的“流畅语言生成”之间，天然存在张力。 也正因为如此，AI 在数学上的每一次实质性突破，往往都不是多答对几道题，而是一次推理范式与系统架构的跃迁。   过去两年里，“AI for Math”从热点概念逐步走向工程现实： 一边是竞赛分数不断被刷新，另一边则是对评测