谷歌人工智能部门DeepMind发布的结果表明,其正在开发的新人工智能模型AlphaProof和AlphaGeometry 2在2024年国际数学奥林匹克竞赛(一项针对高中生的著名比赛)的六道题中解答了四道,这是生成式人工智能发展的一个关键前沿。
谷歌表示,竞赛中的一道题在几分钟内就解决了,但其他题目则耗时长达三天,超过了比赛的时间限制。尽管如此,这些结果仍代表了迄今为止人工智能系统在比赛中取得的最好成绩。
谷歌表示,DeepMind通过将 Gemini与另一个曾在国际象棋和围棋等棋盘游戏中击败人类的人工智能系统AlphaZero相结合,创建了一个专注于推理的系统AlphaProof。AlphaProof 解决了本次数学奥赛中的三个问题,包括最难的问题,在 600 多名人类参赛者中,只有 5 人解决了这个问题。而AlphaGeometry 2 解决了一个额外的数学问题。