谷歌DeepMind人工智能系统现在可以解决复杂的数学问题 (www.technologyreview.com)

谷歌DeepMind训练了两个名为AlphaProof和AlphaGeometry 2的专业人工智能系统，用于解决涉及高级推理的复杂数学问题。这些系统在今年的国际数学奥林匹克竞赛（IMO）中成功解决了六道题目中的四道，相当于获得了银牌。这是人工智能系统首次在解决此类问题上取得如此高的成功率。