AI在线 AI在线

IMO 2025

解道奥赛题成本5000美元?陶哲轩警告,AI下一步要规模化的「更便宜」

人工智能和数学是密不可分的。 AI 的发展离不开数学的进步,同时 AI 的进步也离不开解决数学问题的能力。 在刚结束不久的 IMO 竞赛中,谷歌的新一代 Gemini 进阶版模型成功解决了六道超高难度试题中的五道,达到了今年 IMO 的金牌水平(35/42),成为首个获得奥赛组委会官方认定为金牌的 AI 系统。
7/25/2025 1:24:00 PM
机器之心
  • 1