标签：IMO竞赛
超越IMO金牌？谷歌创超难FirstProof数学挑战新纪录
去年7月的IMO数学奥林匹克竞赛中，两大AI公司争夺金牌的闹剧引发关注：OpenAI因绕过官方竞赛规则提前官宣遭到广泛吐槽，谷歌DeepMind的Gemini进阶模型成为首...
谷歌AI解决IMO中84%的几何问题，o1一道没做对！Nature：AI已超过金牌得主平均水平
谷歌DeepMind的最新数学AI系统AlphaGeometry2在解决国际数学奥林匹克竞赛（IMO）几何问题上取得了显著进展，成功解决了2000年至2024年间的84%几何问题，完成...
