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

本研究针对图像匹配中的多角度、光照和季节变化问题，提出了一种综合多种技术的管道方法，最终在私有排行榜上取得了0.167的优异成绩，显著提升了关键点检测和匹配性能。

谷歌AI在IMO数学竞赛中获得银牌，使用了AlphaProof和AlphaGeometry 2两个系统。AlphaProof是自训练系统，用于证明数学陈述。AlphaGeometry 2是神经-符号混合系统，用于解决几何问题。AI系统在几分钟内解决了一个问题，其他问题花了三天时间。AI系统解决了两道代数题和一道数论题，但未解决两道组合问题。有人质疑其训练数据分布和计算资源的限制。

谷歌AI在数学奥林匹克竞赛中获得银牌，推出了一位精英人工智能数学家，能使用AlphaZero风格的搜索解决问题。在2024年IMO竞赛中解出4/6，获得银牌。未来数学将由人工智能辅助。

通过AlphaProof和AlphaGeometry 2模型，研究人工智能（AI）在国际数学奥林匹克竞赛中取得了突破性进展，解决了四个问题，达到银牌水平。这些系统的成功表明AI在数学推理方面具有巨大潜力，可以在科学和技术领域开辟新的前沿。

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

本文介绍了基于Geoformer框架的几何问题基准测试UniGeo，提出了几何形式化理论（GFT）和形式几何问题解决器（FGPS），实现了高效的几何问题求解。研究表明，结合深度学习和符号推理可显著提高解题准确率，尤其在国际数学奥林匹克（IMO）级别的几何问题上。

思科中国总代共四家： 神州数码科技发展公司 （优先总代） 北京晓通电子有限公司 英迈国际(中国)有限公司 联强国际（仅思科精睿） 金牌共四十六家： 万达信息股份有限公司 SHANGHAI WONDERS INFORMATION CO.，LTD. 上海华讯网络系统有限公司 ECCOM Network System Ltd. 上海金陵时威科技发展股份有限公司 Shanghai Shiwei...