谷歌人工智能系统在数学推理方面取得了进展

　　Alphabet旗下的谷歌(Google)周四发布了两套人工智能系统，展示了在解决复杂数学问题方面的进步，这是生成式人工智能发展的一个关键前沿。

　　目前的人工智能模型通过统计预测下一个单词来工作，在抽象数学方面遇到了困难，这需要更强的类似人类智能的推理能力。

　　该公司的人工智能部门DeepMind公布的结果显示，其正在开发的新人工智能模型AlphaProof和AlphaGeometry 2在2024年国际数学奥林匹克竞赛(International Math Olympiad)上解决了6道题中的4道。国际数学奥林匹克竞赛是一项面向高中生的著名竞赛。

　　谷歌在一篇博客文章中说，有一个问题在几分钟内就解决了，但其他问题花了长达三天的时间，比比赛的时间限制要长。尽管如此，这一结果仍然是迄今为止人工智能系统在比赛中取得的最好成绩。

　　该公司表示，通过将其同名聊天机器人背后的语言模型Gemini的一个版本与另一个曾在国际象棋和围棋等棋盘游戏中击败人类的人工智能系统AlphaZero结合起来，创造了AlphaProof，这是一个专注于推理的系统。AlphaProof解决了比赛中的三个问题，包括最难的问题，600多名人类参赛者中只有5人解决了这个问题。

　　另外一个数学问题由AlphaGeometry 2解决。

　　路透社7月初报道称，微软支持的OpenAI正在开发代号为“草莓”的推理技术。据路透社首次报道，该项目原名Q*，被认为是一项重大突破，以至于几名研究人员在11月给OpenAI董事会写了一封信，警告称它可能威胁到人类。

　　(Kenrick Cai报道;丹尼尔·沃利斯编辑)

　　×