数学家陶哲轩谈o1推理模型突破传统AI局限，让我们有望打开未知领域的新大门

文章预览

（关注公众号并设为🌟标，获取最新人工智能资讯和产品） 全文约3,000 字，阅读约需6分钟 陶哲轩（Terence Tao）加州大学洛杉矶分校的数学教授，被誉为现实版的超级智能。他有时被称为“数学界的莫扎特”，并被公认为当今世界最伟大的数学家。他凭借在数学领域的突破和证明，获得了诸多奖项，其中包括数学界的诺贝尔奖。目前，AI 的水平还远不及他。 但科技公司正努力缩小这个差距。最近吸引眼球的 AI 模型——包括大名鼎鼎的 ChatGPT——并非为处理数学推理而设计，它们的侧重点在语言上：当你提问时，它们不会理解并计算方程或证明，而是基于常见的词语顺序生成答案。举例来说，早期的 ChatGPT 无法进行加法或乘法，但因为它接触过大量的代数示例，所以可以解决 x + 2 = 4 这样的方程：“要解决方程 x + 2 = 4，从两边减去 2……” 但如今， ………………………………