穿越火线好听的名字

谷歌称其工具可解奥数竞赛题

谷歌DeepMind表示，它已在解决复杂数学题的方面取得了长足进展。7月25日，谷歌推出了专门从事数学推理的AlphaProof模型，以及今年早些时候首次推出的几何模型的升级版AlphaGeometry2。谷歌在一篇博文中说，这些程序攻克了国际数学奥林匹克竞赛（InternationalMathematicalOlympiad）六道难题中的四道。在AI领域，产品之间进行比较非常困难，解数学题已成为关键的证据点。这是因为在大量书面文本基础上训练出来的大语言模型往往偏重于语言智能而非数学智能。虽然计算机擅长数字和传统计...