谷歌DeepMind AI工具成功解奥数竞赛题

据悉，谷歌DeepMind近日宣布其AI工具在解决复杂数学题方面取得了重大突破。7月25日，谷歌推出了专门从事数学推理的AlphaProof模型以及升级版AlphaGeometry 2。这些程序已经成功攻克了国际数学奥林匹克竞赛中的四道难题。