陶哲轩，世界上最伟大的数学家，对人工智能有着远大的愿景。
陶哲轩是加州大学洛杉矶分校的数学教授，他是现实生活中的超级人工智能。有时被称为“数学莫扎特”，被广泛认为是世界上在世的最伟大的数学家。由于他的进步和证明，他赢得了无数奖项，包括相当于诺贝尔数学奖的奖项。现在的AI还远远达不到他的水平。
但科技公司正在努力实现这一目标。最近几代引人注目的人工智能，甚至是全能的 ChatGPT，都不是为了处理数学推理而构建的。相反，他们专注于语言：当你要求这样的程序回答一个基本问题时，它不会理解并执行方程式或制定证明，而是根据可能按顺序出现的单词给出答案。例如，最初的 ChatGPT 无法进行加法或乘法，但已经看到了足够多的代数示例来求解 x 2 = 4：要求解方程 x 2 = 4，两边都减去 2 然而，现在 OpenAI 正在明确营销一条新线推理模型，统称为 o1 系列，因为它们能够像人一样解决问题，并完成复杂的数学和科学任务和查询。如果这些模型成功，它们可能会给陶和他的同事们缓慢而孤独的工作带来翻天覆地的变化。
当我看到陶在网上发布了他对 o1 的印象后，他将其与一个平庸但并非完全无能的研究生进行了比较，我想更多地了解他对技术潜力的看法。在上周的 Zoom 电话会议中，他描述了一种以前从未实现过的、由人工智能支持的工业规模数学：其中人工智能，至少在不久的将来，本身并不是一个创造性的合作者。作为数学家假设和方法的润滑剂。这种新的数学可以解锁未知领域的知识，但其核心仍然是人类，拥抱人和机器如何拥有截然不同的优势，这些优势应该被视为互补而不是竞争。