AI 数学奖

AI 数学奖

国际数学奥林匹克是一项面向中学生的数学比赛，题目很难。

一家美国公司最近设立了一个奖项（上图），只要哪一个开源的 AI 模型，能够首先赢得国际数学奥林匹克金奖，就能获得1000万美元。

这是一个指标意义的奖项。目前的 AI 只是大规模语言模型，本质上属于统计预测。如果有一天 AI 能够证明数学难题，就表明它具有推理分析能力，"奇点"大概也就来临了。