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

谷歌DeepMind的AlphaGeometry2成功解决了2000-2024年IMO竞赛中84%的几何问题，超越金牌得主的平均水平。在50道题中完成42道，显著提升了推理能力和算法效率。尽管表现优异，AlphaGeometry2尚未开源，未来将参加2025年澳大利亚的IMO竞赛。

何恺明在MIT的三位华人弟子，包括奥赛双金得主邓明扬，合作研究新图像生成方法，专注于机器学习和生成模型。他们在计算机视觉和AI for Science领域取得了多项成果，期待未来更多进展。

巴黎2024奥运会金牌得主及其穿着的跑鞋

本文重新审视了奥林匹克级几何中自动化定理证明的挑战，并介绍了一种代数方法，称为Wu的方法。作者发现Wu的方法在解决IMO-AG-30问题方面表现出了令人惊讶的强度，并与其他技术结合可以显著提高性能。文章指出了Wu的方法的潜力和局限性，并呼吁进一步发展。总的来说，这篇文章为重新评估Wu的方法提供了令人信服的案例，并鼓励进一步探索这种方法。

研究人员成功整合现代AI模型与几何形式系统，为IMO级别的平面几何问题提供了可读、可追溯和可验证的解决方案。他们开发了FGPS作为交互式助手和自动化问题解决器，并标注了6,981个几何问题的数据集。实验证明该系统的正确性和实用性。