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

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

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

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

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

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