AI刚刚在数学界搞了波大的。在顶级AI数学基准FrontierMath上，GPT-6 Astra联手三位人类研究员，正式攻克了一道悬置九年的开放难题。这道题叫“批准式委员会选举中核是否为空”，属于「重大进展」级别，自2017年以来就一直没人能解开。如今，这块硬骨头硬是被AI带着人类啃下来了。数学界的无人区，被撕开了一个大口子。
整个解题过程有个极其戏剧性的反转。一开始，研究员们的目标是想找个“核为空”的反例，结果GPT-6 Astra一顿操作猛如虎，直接证明了反例根本不存在。这等于宣告了一个让人拍案叫绝的结论：绝对公平的委员会在任何情况下都必定存在。模型给出证明的同时，还顺手提出了一种全新的研究方法。这种跳出框架的思考能力，确实让人惊叹。
这一战直接刷新了AI在科研中的定位。它早就不只是个跑跑数据的解题机，而是进化成了真正的规律发现者。反观人类数学家，在这场合作中越来越像“提示词工具人”，核心工作变成了给AI抛问题。AI已经大举杀入数学最前沿的无人区，留给人类的，好像只剩下提问权了。以后搞科研，怎么向AI提问可能才是最核心的竞争力。