谷歌再被OpenAI截胡？训练数学AI拿下IMO银牌，不及SearchGPT放了空响…

AIGC动态欢迎阅读

原标题：谷歌再被OpenAI截胡？训练数学AI拿下IMO银牌，不及SearchGPT放了空响…
关键字：方式,金牌,问题,模型,几何
文章来源：夕小瑶科技说
内容字数：0字

内容摘要：

夕小瑶科技说 原创作者 | 海野昨夜谷歌振臂高呼：我们新的数学AI，能在IMO数学竞赛达到银牌水平！
但就在谷歌发文的几个小时后，OpenAI就偷了谷歌的家：
发布新的搜索方式SearchGPT ，剑指挑战谷歌的搜索引擎。
谷歌双模型并用攻克数学难题，离金牌只一分之遥为了能在IMO拿到好成绩，谷歌DeepMind使用了两个新模型：AlphaProof ，以及AlphaGeometry 2 。
AlphaProof是一个全新的数学模型，基于强化学习的数学形式化推理系统；
而AlphaGeometry 2是前身AlphaGeometry的改良版，是专攻几何问题的神经符号混合系统。
在赛前，DeepMind通过证明或反驳数百万个数学问题来训练AlphaProof，并加强了模型的自证能力，以提供完美的解决思路。
而AlphaGeometry 2与前身相比，使用了更大数量级的合成数据，并从头开始训练，以加强更复杂的几何问题的解决能力。经测试，AlphaGeometry 2可以解决过去25年中所有IMO几何问题的83%。
有没有人可以告诉我83%的正确率是什么水平？
在本届IMO数学题中，Alph

原文链接：谷歌再被OpenAI截胡？训练数学AI拿下IMO银牌，不及SearchGPT放了空响…

联系作者

文章来源：夕小瑶科技说
作者微信：
作者简介：