谷歌人工智能系统在解决复杂数学问题上取得重大突破

Alphabet旗下谷歌发布了两款尖端人工智能系统，在解决复杂数学问题上取得了显著进展，标志​​着生成式人工智能领域的重大飞跃。

传统上，依靠统计预测来确定下一个词的人工智能模型在抽象数学方面遇到了困难，因为它需要类似于人类认知的高级推理能力。

谷歌人工智能研究部门DeepMind透露，其最新人工智能模型AlphaProof和A​​lphaGeometry2成功解答了2024年国际数学奥林匹克竞赛(一项面向高中生的著名比赛)六道题中的四道。这一里程碑标志着人工智能在处理复杂数学任务的能力方面取得了重大突破。

谷歌在一篇博文中指出，虽然有一个问题在几分钟内就解决了，但其他问题则耗时长达三天，超过了比赛的标准时间限制。尽管如此，这一表现代表了人工智能系统在本次比赛中取得的最高分。

AlphaProof的推理能力非常出色，它由谷歌聊天机器人背后的语言模型Gemini与人工智能系统AlphaZero合并而成，后者因在国际象棋和围棋等棋盘游戏中击败人类冠军而闻名。AlphaProof成功解决了奥林匹克竞赛的三道题，其中包括最难的一道题，在600多名人类参赛者中，只有5人能够破解这道题。此外，AlphaGeometry2还解决了另一道题，进一步展示了人工智能的强大能力。

AlphaProof和A​​lphaGeometry2的新突破表明，人工智能有潜力解决需要深度推理和理解的问题，而不仅仅是模式识别。这一进展可能对依赖复杂问题解决的各个领域产生深远影响，例如物理学、工程学和经济学。

将不同的人工智能系统(如Gemini和AlphaZero)整合为一个具有高级推理能力的统一实体，预示着人工智能在未来的前景光明，在高度特定的科学研究和发现中将发挥更大的作用。

然而，人工智能解决某些问题所需的时间较长，这表明仍有相当大的改进空间。未来的发展可能会集中在提高这些模型的速度和效率上，使它们更适合实时应用。