一个叫“亚里士多德”的AI模型，竟然在6小时内就搞定了困扰数学界30年的Erdős问题#124的“简易版”，震惊了包括陶哲轩在内的全球数学大佬，成功开启了“Vibe证明”的新时代，背后的Harmonic公司也因此一战成名并获得巨额融资。

DeepSeekMath-V2通过创新的生成器-验证器协同循环和元验证机制，在数学证明任务中实现了人类金牌级表现，标志着AI从“答案正确”到“推理严谨”的质变。这一自验证能力预示着AI在科学发现、软件工程及教育领域的巨大商业潜力，并引发对AI“自我认知”、人机信任及未来社会深层变革的哲学思辨。

谷歌DeepMind在赢得IMO金牌后，面对Meta的“挖墙脚”，不仅没藏着掖着，反而高调晒出团队合照并公布成员信息，堪称科技圈的“凡尔赛”行为。这背后是Gemini Deep Think模型在数学推理上的“一周奇迹”和顶尖团队的实力，预示着AI人才争夺战愈演愈烈。

谷歌DeepMind的Gemini Deep Think在国际奥林匹克数学竞赛（IMO）中荣获金牌，且是唯一获得官方认证的AI模型，证明了其在自然语言数学推理上的突破。与此同时，OpenAI此前自宣夺金的举动被IMO官方“打脸”，引发争议，这场AI巨头间的“奥数之战”不仅是技术实力的较量，更是公关和信任的博弈。

OpenAI近期宣称自家AI模型在IMO数学竞赛中达到金牌水平，但这一高调官宣迅速引发争议，被指“偷跑”抢发结果，甚至未获IMO官方认证。数学界大佬陶哲轩也下场质疑其测试方式。尽管OpenAI紧急回应并澄清时间点，但这场风波已然成为AI巨头公关战的缩影，同时也引发了对AI数学能力边界的深度探讨。