Harmonic的创始人Vlad Tenev和Tudor Achim讨论了他们的AI系统Aristotle，该系统在2025年国际数学奥林匹克中获得金牌。Aristotle结合大型变换模型和蒙特卡洛树搜索策略，采用可验证的方法生成数学证明，能够自动验证输出，并在数学推理中表现出色。他们认为数学是理解世界的工具，未来AI将推动科学理论的进步，解决复杂问题。

谷歌DeepMind的AlphaProof模型公开了技术细节，团队由10人组成，训练了8000万道数学题。该模型将数学证明视为游戏，利用强化学习和变体生成技术，在2024年国际数学奥林匹克中成功解决多道难题并获得金牌。尽管表现优异，但在处理新定义时仍面临挑战。

在国际数学奥林匹克组织的支持下，IMO 2025项目由多个团队合作完成，Thang Luong和Edward Lockhart负责协调。项目依赖于Deep Think团队的研究，专家们提供了数据和评估，最终确认提交的答案完整且正确。

谷歌的Gemini AI在国际数学奥林匹克（IMO）中获得金牌，答对5道题，得分35分，成绩获得官方认证，显示出DeepMind的显著进步。硅谷人士如马斯克纷纷祝贺，而OpenAI因表现不佳受到批评。DeepMind的成功与其遵守IMO规则形成鲜明对比。

OpenAI声称其新模型在国际数学奥林匹克（IMO）中获得金牌，但遭到官方和学界的强烈反对，认为其做法不当。91位评委未参与评分，成绩缺乏官方认证，引发学术道德争议。IMO希望AI公司在闭幕式后公布结果，但OpenAI急于宣布。最终，中国队全员获得金牌，重返世界第一。

AlphaProof和AlphaGeometry 2是新开发的数学推理AI系统，成功解决了国际数学奥林匹克中的四个问题，达到了银牌水平。AlphaProof利用强化学习和形式化语言进行数学证明，而AlphaGeometry 2在几何问题上表现显著提升。这两者的结合展示了AI在数学推理领域的潜力，未来有望帮助数学家探索新假设和解决复杂问题。