谷歌DeepMind稱其AI工具可解奧數競賽題

谷歌DeepMind表示,它已在解決複雜數學題的方面取得了長足進展。

7月25日,谷歌推出了專門從事數學推理的AlphaProof模型,以及今年早些時候首次推出的幾何模型的升級版AlphaGeometry 2。谷歌在一篇博文中說,這些程序攻克了國際數學奧林匹克競賽(International Mathematical Olympiad)六道難題中的四道。(新浪科技)