谷歌的新人工智能系统 AlphaProof 和 AlphaGeometry 2 解决了 2024 年国际数学奥林匹克竞赛六道题中的四道，展示了其在抽象数学方面的高级推理能力。
Alphabet 旗下的谷歌发布了两款创新型人工智能系统AlphaProof 和 AlphaGeometry 2，它们在解决复杂数学问题方面取得了重大进展。这些系统比之前的人工智能模型更有效地处理抽象数学，展示了增强的推理能力。
谷歌人工智能部门DeepMind报告称，这些模型成功解答了 2024 年国际数学奥林匹克竞赛六道题中的四道。将 Gemini 语言模型与 AlphaZero 系统相结合的 AlphaProof 解决了三道题，包括最具挑战性的一道题，而 AlphaGeometry 2 解决了另一道题。
这些成就标志着人工智能系统在竞赛中迄今为止的最佳表现，一些问题在几分钟内得到解决，而另一些问题则需要三天时间。与此同时，微软支持的OpenAI正在开发一个名为“ Strawberry ”的类似项目，这引起了其员工对其对人类潜在影响的担忧。
评论