谷歌DeepMind表示开配资公司,它已在解决复杂数学题的方面取得了长足进展。 7月25日,谷歌推出了专门从事数学推理的AlphaProof模型,以及今年早些时候首次推出的几何模型的升级版AlphaGeometry 2。谷歌在一篇博文中说,这些程序攻克了国际数学奥林匹克竞赛(International Mathematical Olympiad)六道难题中的四道。 在AI领域,产品之间进行比较非常困难,解数学题已成为关键的证据点。这是因为在大量书面文本基础上训练出来的大语言模型往往偏重于语言智...