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

蚂蚁集团发布了开源的万亿参数模型Ring-2.5-1T，具备强大的数学推理和长程执行能力。其混合线性架构提升了推理速度和效率，适用于复杂任务，并兼容主流智能体框架，展现出顶尖的AI技术水平。

字节推出的Seed Prover 1.5模型在IMO中获得金牌，成功解决前五道题目。该模型结合大规模强化学习与新形式化推理方法，显著提升了解题效率，并通过草稿和多工具交互更有效地处理复杂数学问题。

DeepSeek推出开源数学模型DeepSeekMath-V2，专注于自验证推理，表现超越谷歌和OpenAI，获得IMO金牌级分数。该模型通过迭代强化学习优化证明验证和生成，克服传统方法的局限性，展现出卓越的数学推理能力。

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

上海AI Lab的P1-235B-A22B模型在国际物理奥林匹克竞赛中获得金牌，得分21.2，超越了GPT-5和Grok-4，标志着开源模型在物理推理能力上达到了新高度。

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

感谢国际大学生程序设计竞赛（ICPC）的支持。本项目是众多团队和个人合作的成果，Hanzhao Lin和Heng-Tze Cheng负责技术方向和研究执行，感谢所有参与者和顾问的贡献。

机器之心数据服务现已上线，提供高效稳定的数据获取，简化数据爬取流程。

谷歌DeepMind的Gemini 2.5 Deep Think在2025年国际大学生程序设计竞赛中获得金牌，展现了其在抽象问题解决方面的卓越能力。目前，该版本已向Google AI Ultra订阅用户开放。

Gemini 2.5 Deep Think在2025年国际大学生程序设计竞赛中获得金牌，成功解决了12个问题中的10个，展示了其在抽象问题解决方面的重大突破。该模型的创新方法和多步推理能力使其在复杂问题上展现出强大的推理能力，标志着人工智能向通用智能迈出了重要一步。

机器之心数据服务现已上线，提供高效稳定的数据获取，简化数据爬取流程。