主题：对ChatGPT的几点思考 -- 唐家山

话说回来，既然都只是用作数学研究中的一个工具，为啥在陶哲轩眼中AI会更合适，而传统搜索引擎就不太行呢？

因为AI“思维逻辑”更发散！

陶直接从传统计算机软件和AI工具的内部运行逻辑分析了一通。

先来说传统的计算机软件，它的运行逻辑类似于函数，这是一个很标准的数学概念。具体来说，若输入的在给定域中，软件就能够可靠地给出范围中的单个输出，若输入不在给定域中，则就不能给出结果或者说乱给一些结果。

而AI工具，就不会像传统计算机软件那样死板，它运行的逻辑不是基于经典函数，而是类似于概率输入，AI会从一个概率分布μₓ中采样，然后随机输出。而这个概率分布，集中在完美结果附近。

不过这样也会导致一些随机偏差和不准确结果的产生。但整体比较下来，AI工具还是具有一定的优势。

一方面它更加灵活，可以比传统的软件工具更优雅地处理嘈杂或格式不好的输入。另一方面，在一定程度上AI的“思维方式”也会更加发散。

但对于AI半自动证明定理的论文，审稿人就难了。