谷歌人工智能系统在推理方面取得数学进展
•
2024-08-07 14:11:13
摘要 Alphabet周四发布的谷歌发布了两款人工智能系统，展示了在解决复杂数学问题方面取得的进展，这是生成式人工智能发展的一个关键前沿。当前的...
Alphabet周四发布的谷歌发布了两款人工智能系统，展示了在解决复杂数学问题方面取得的进展，这是生成式人工智能发展的一个关键前沿。
当前的人工智能模型通过统计预测下一个单词来发挥作用，但在抽象数学方面却步维艰巨，因为这需要更类似于人类智能的推理能力。
该公司人工智能部门 DeepMind 发布的结果表明，其正在开发的新人工智能模型 AlphaProof 和 AlphaGeometry 2 在 2024 年国际数学竞赛(一项针对高中生的著名比赛)的六道题中解答了四道。
谷歌在一篇博文中表示，其中一些问题在四分之一内就解答出来了，但其他问题则长达三天，超过了比赛的时间限制。不过，这些结果代表了迄今为止人工智能系统在比赛中的情况中国取得了最好的成绩。
该公司表示，它通过将Gemini(其同名聊天机器人背后的语言模型)的一个版本与另一个曾在国际象棋和围棋等棋盘游戏中击败人类的人工智能系统AlphaZero相结合，着眼于创造了一个推理AlphaProof的系统。AlphaProof解决了比赛中的三个问题，包括最难的问题，在600多名人类参赛者中，只有5人解决了这个问题。
版权声明：本文由用户上传，如有侵权请联系删除！
标签：