事情是这样的。
前几天陶哲轩在自己的主页上主推了一篇关于勾股定理新证明的研究，引发了一波不小的讨论。
毕竟2500多年的数学定理，竟然还能出现“新模式”，而且是两个高中生搞出来的。
带着好奇，去翻阅了一下论文，结果……
（试图唤醒尘封的记忆……以失败告终）
But！遇事不决，问问AI啊~~~
于是乎，大家打开了壹个国内AI，很直接地搜索一句：陶哲轩主推的勾股定理新证明的论文讲的是啥？
然后它就“唰唰唰”地最初在网上找资源了，包括公众号文章、arXiv论文和权威期刊等等：
不过这个AI接下来的表现，才是真实让人为之意外的，大家一步一步来看下它是如何“求解”的。
首先，这个国内AI搜索，它会先铺垫一些背景姿势，包括啥是勾股定理，以及2位高中生新证明的经历概要。
然后它并没有直接进入证明过程，而是继续先铺垫三角学证明和几个先决条件，信源也是可以在右侧的参考链接中追溯。
在准备姿势就绪之后，这个AI才正式最初对新证明进行阐述。
每壹个流程，每壹个公式，可以说是特别清晰、一目了然了。
不仅如此，它，壹个AI，竟然还会拓展和上价值！
大家的问题只是限量在了论文，但它却把两位作者怎么产生思路的灵感，以及这些研究对数学界的贡献都描述了出来。
或许这时你会问了，今年的AI搜索不都能做到这些吗？
非也非也，大家不妨来看看其它头部AI搜索的效果。
首先有请OpenAI全新推出的ChatGPT search，同样的问题之下，结果是这样的：
嗯，生成的内容是有够短的……
但这并非是个例，再来看下Perplexity的表现：
回答依旧是特别简短，重点是它俩都没法对数学公式、证明流程等内容做出任何分析。
那么这个国内AI搜索究竟是啥来头？
不卖关子，它就是由自昆仑万维天工AI推出的全新功能——顶级搜索，而且是不限次数的那种哦~
如果用四个字来形容天工AI顶级搜索的特征，或许可以是“多快好省”：
多：引入超10亿的专业型数据，包括网页、PDF（例如研报、财报、海内外权威学术文档）等。
快：构建分钟级的信源收录系统，能够最快地收集全网高价值信息。
好：AI可以把复杂的难题拆解为多个简单的问题，自动规划途径，一边考虑一边执行。
省：甚至引入了公司的收费数据，并且全部的功能都是不收费的。
昆仑天工AI顶级搜索的加入，也体现着AI搜索竞速来到了高端局。
在海外，Perplexity之外，ChatGPT最初综合用劲；在国产，Kimi寻觅版，昆仑万维天工AI顶级搜索等也加入战局。
那么接下来，大家就继续深入知道一下。
最New的技术也能hold住