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

昨夜谷歌振臂高呼：我们新的数学AI，能在IMO数学竞赛达到银牌水平！

但就在谷歌发文的几个小时后，OpenAI就偷了谷歌的家：

发布新的搜索方式SearchGPT ，剑指挑战谷歌的搜索引擎。

谷歌双模型并用攻克数学难题，离金牌只一分之遥

为了能在IMO拿到好成绩，谷歌DeepMind使用了两个新模型：AlphaProof ，以及AlphaGeometry 2 。

AlphaProof是一个全新的数学模型，基于强化学习的数学形式化推理系统；

而AlphaGeometry 2是前身AlphaGeometry的改良版，是专攻几何问题的神经符号混合系统。

在赛前，DeepMind通过证明或反驳数百万个数学问题来训练AlphaProof，并加强了模型的自证能力，以提供完美的解决思路。

而AlphaGeometry 2与前身相比，使用了更大数量级的合成数据，并从头开始训练，以加强更复杂的几何问题的解决能力。经测试，AlphaGeometry 2可以解决过去25年中所有IMO几何问题的83%。

有没有人可以告诉我83%的正确率是什么水平？

在本届IMO数学题中，AlphaProof解决了两道代数题和一道数论题，而AlphaGeometry 2则是解决了一道几何题。还有两道组合推理题未能解决。

IMO金牌得主、菲尔兹奖获得者Timothy Gowers 教授、以及两届IMO金牌得主、IMO 2024问题遴选委员会主席Joseph Myers 博士对解决方案进行评分：

四道题目均得满分，共28分，达到银牌水平的最高分，离金牌只差一分。

一个恐怖的事实是，609名参赛者中也只有58人能达到金牌水平呀！ 换做是我，我是要交白卷上去了……

之前我还嘲笑AI不会比较9.9和9.11的大小，原来我才是小丑，呜呜呜。

OpenAI挤兑谷歌，新型AI搜索方式解决广告问题

谷歌还没高兴多久，OpenAI就带着它的SearchGPT上来了……

就在今天，OpenAI发布了一个搜索大模型原型SearchGPT ，正式发起进军搜索引擎市场的信号。

这是一种基于AI模型的新型搜索方式，旨在利用AI的力量与网络上的信息相结合，精准、清晰、便捷地解决问题。

我们都知道，现在的搜索引擎，例如Google，让我们不得不在一堆广告和不相干的内容中，找到我们需要的信息。极大地浪费了我们的时间和精力。

SearchGPT宣扬的就是要打破这种桎梏。

GPT：我来组成大脑！

互联网：我来组成信息源！

而SearchGPT如同一种思维，接收到来自网络的实时信息后，对信息首先进行一次筛选，从而更快地提供我们想要的内容。

当然，为了方便我们对信息的真伪进行验证，SearchGPT在提供回答后，还会对信息源进行标注：

以及……这个搜索方式就像与AI对话一样，它也能记住上下文，从而实现后续多次提问。

我都从来没想过，能在搜索引擎上实现连续提问。

如同Sam Altman描述的那样：

我们认为，比起现在的引擎，搜索可以有更多上升空间。

现在，这个新的搜索模型已经开始内测，目前仅有很小部分的用户可以进行体验。感兴趣的小伙伴们，可以申请加入他们的候补名单。在一段时间后，OpenAI会将这个功能集成到ChatGPT。

申请链接：https://chatgpt.com/search

就在OpenAI公布这个搜索方式后，网友一片叫好：太好了，我早就不想用谷歌搜索了。

也有网友为谷歌和Perplexity捏了一把汗。

Perplexity：坏了，冲我来的？

谷歌：不对劲，再看看……诶，好像是冲我来的？

也有网友厌倦了这种期货的发布方式，明明有好东西，却不舍得拿出来分享，只会让一小部分人去体验，真没格局！

反正我是在体验到SearchGPT前，不会为OpenAI说哪怕一句好话的！