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

人工智能和数学是密不可分的。 机器之心报道 机器之心编辑部 AI 的发展离不开数学的进步，同时 AI 的进步也离不开解决数学问题的能力。 在刚结束不久的 IMO 竞赛中，谷歌的新一代 Gemini 进阶版模型成功解决了六道超高难度试题中的五道，达到了今年 IMO 的金牌水平（35/42)，成为首个获得奥 赛组委会官方认定为金牌的 AI 系统。 加州大学洛杉矶分校数学系终身教授，菲尔兹奖获得者，被称为「数学莫扎特」的华人数学家 陶哲轩 ，参加了今年度 IMO 竞赛的颁奖典礼。 他同样也对在 IMO 取得成绩的 AI 模型十分关注。 但他同样表达了一定程度的担忧，希望明年能够在更加受控的环境下对 AI 模型进行科学比较和评估。 陶教授认为：一些在标准考试条件下可能连铜牌都难以稳定获得的学生或队伍，在某些经过修改的赛制下，反而可能稳定地达到金牌水平。 因此，在 没有采用统一、非参赛队自选的控制性测试方法 的前提下，对于不同 AI 模型在类似 IMO 等竞赛中的表现，应当 谨慎看待 ，避免作出过于简单化的 「对等」比较。 陶教授对人工智能的发展和评估的关心是一贯的。就在刚刚，他在 mathstodon 上发表了对于人 ...