谷歌DeepMind表示，它已在解决复杂数学题的方面取得了长足进展。7月25日，谷歌推出了专门从事数学推理的AlphaProof模型，以及今年早些时候首次推出的几何模型的升级版AlphaGeometry 2。谷歌在一篇博文中说，这些程序攻克了国际数学奥林匹克竞赛（International Mathematical Olympiad）六道难题中的四道。（新浪科技）

来源：36氪