据@SoumithChintala消息，AI研究实验室Axiom仅成立四个月，便通过采用ThinkyMachines的Tinker基础设施，在Putnam数学竞赛上取得了突破性成绩。Axiom的自主AI系统AxiomProver在Lean环境下解答了12题中的9题，若以往年成绩计算，这一表现将位列4000名参赛者中的第一，并有望成为Putnam Fellow（前五名）（来源：@soumithchintala，2025年12月11日；@axiommathai）。这充分验证了Tinker为AI前沿研究实验室提供高效基础设施的能力，有望像AWS之于2010年代产品初创公司一样，重塑AI数学研究的创新流程与市场机会。

根据Oriol Vinyals（@OriolVinyalsML）发布的信息，Google将Gemini 2.5 Deep Think模型推广至Google AI Ultra高级订阅用户。该升级版AI模型通过先进的并行推理与强化学习技术，能够高效解决复杂的数学和科学难题，具备国际数学奥林匹克（IMO）奖牌获得者级别的能力。Gemini 2.5 Deep Think的应用为教育科技平台和希望引入自动化解题方案的企业带来了全新商机，推动AI在学术和科研领域的实际落地（来源：Oriol Vinyals推特，blog.google/products/gemin）。

据DeepLearning.AI报道，OpenAI推出了新一代视觉语言模型o3-pro，专为提升数学、科学和编程等复杂推理任务设计。o3-pro在AIME、GPQA和Codeforces等权威基准测试中表现优于前代o3和o1-pro，显著提升了AI在技术难题解决和实际应用中的能力。该突破为AI赋能教育、自动化科学分析和智能代码生成等商业场景带来全新市场机遇。（来源：DeepLearning.AI，2025年6月25日）