谷歌 DeepMind 推出 AlphaGeometry:奥林匹克级几何AI系统
谷歌旗下的DeepMind研究团队最近推出了名为AlphaGeometry的人工智能系统,该系统在解决几何奥林匹克问题方面表现出色,几乎可与人类金牌得主相媲美。这一成就代表着在大学预科数学困难领域中复杂自动推理能力的显著进步。AlphaGeometry的发布标志着在计算机程序领域中首次实现了比IMO平均候选程序更有效地证明欧几里得平面几何定理的突破,推动了数学竞赛顶峰推理的自动化�
谷歌推几何AI系统AlphaGeometry,实力达奥林匹克金牌得主
GoogleDeepMind发布了一个名为AlphaGeometry的人工智能系统,它可以解决复杂的几何问题,其水平接近人类奥林匹克金牌得主——这是人工智能性能的突破。在对30道奥数几何题的基准测试中,AlphaGeometry在标准奥数时限内解决了25道。研究人员最近推出了FunSearch,它首次使用大型语言模型在数学科学的开放问题中取得了发现。
AI奥林匹克数学奖推出 奖金高达500万美元
陶哲轩支持的AI奥林匹克数学奖推出,奖金高达500万美元,旨在寻找能够在IMO竞赛中获得金牌的大型AI模型。这项名为AI-MO的比赛由XTXMarkets发起,其初衷是推动大语言模型的数学推理能力,鼓励开发能够匹配人类数学最高水平的新AI模型。在金钱的驱动下,是否会出现一个能解困难数学题的AI并超越人类夺得IMO金牌,成为业界关注的焦点之一。