谷歌DeepMind表示,它已在解决复杂数学题的方面取得了长足进展。7月25日,谷歌推出了专门从事数学推理的AlphaProof模型,以及今年早些时候首次推出的几何模型的升级版AlphaGeometry 2。
谷歌在一篇博文中说,这些程序攻克了国际数学奥林匹克竞赛(International Mathematical Olympiad)六道难题中的四道。
扫一扫
在手机上阅读
您还没有登录,登录后您可以:
首次使用?从这里 注册