9 月 20 日，全球顶级 AI 数学基准 FrontierMath 迎来里程碑时刻：一道自 2017 年以来悬而未决的"重大进展"级开放数学难题，被 OpenAI 的 GPT-6 Astra 联手三位人类研究员正式攻克。这是 AI 在纯数学研究领域，第一次以"合作者"身份啃下这种级别的硬骨头。
什么是 FrontierMath？
FrontierMath 是专门用来测试 AI"做真正数学研究"能力的基准。它的题目不是中学奥数，而是数学前沿论文里那种开放性、没有标准答案的问题——AI 不能靠背题、刷题拿分，必须像真正的研究者一样提出思路、推导、验证。此前主流模型在它上面只能做出一小部分，"重大进展"级别的题目更是长期无人能解。
AI 是怎么参与的？
据 36 氪报道，这次不是 AI"独立解题"，而是人类研究员主导、Astra 辅助：人提出研究方向和关键步骤，Astra 负责快速验证思路、补全推导、检查漏洞。报道里有个引人注目的说法——"数学家沦为提示词工具人"，意思是人的角色正在从"亲手算"转向"提问和把关"。
这意味着什么？
它标志着 AI 在数学上的角色，从"考试拿分"走向了"参与真正的研究生产"。过去几年 AI 只是帮研究生改论文、查文献，现在开始能在悬置多年的难题上给出关键进展。对科研工作者来说，学会"怎么向 AI 提问、怎么验证它的答案"，正在变成一项新的基本功。
信息来源：36 氪、FrontierMath 官方基准。
