agmai（AI 前沿数学研究，泛指大模型在纯数学领域的突破性工作）是当前人工智能与基础数学交叉领域最受关注的方向，指利用大规模 AI 模型产出数学证明、攻克未解难题的研究实践。OpenAI 近期在该方向动作密集，引发的讨论也从技术能力本身延伸到研究成果的可理解性与可信度。
agmai 的近期进展
当前焦点与观察点
围绕 AI 前沿数学研究的争议核心并非“模型能否做数学”，而是三个悬而未决的问题：其一，AI 产出的证明是否严格、可验证，还是存在难以察觉的漏洞；其二，机器生成的大量证明（如前述 719 份）对人类数学共同体的实际价值有多大，数学家是否有能力消化；其三，重大成果的宣称方式是否足够审慎——从纳维-斯托克斯方程到数百个未解难题，每一次高调发布都伴随着顶级数学家的公开质疑。
接下来值得观察的是：OpenAI 及其他机构是否会建立独立、透明的验证机制，让 AI 数学成果经过同行评审后再对外宣布；同时数学界如何与这类工具协作、而非对立，也将决定该方向能否从“话题”走向“基础设施”。在验证标准落地之前，对每一次重磅宣称保持审慎态度，仍是当前较合理的立场。