两位OpenAI数学家亲述AI怎么改写数学界
Anghami ｜ Anghami公众号 ｜ 2026-09-14

这是一期少见地“由两位实战数学家亲自开口”的访谈。a16z 基础设施合伙人李莉莎（Lisha Li）在 OpenAI 总部，与 Mehtaab Sawhney（哥伦比亚大学数学系助理教授，2026 年起休假加入 OpenAI）和 Mark Sellke（哈佛大学统计系助理教授）坐下来，聊了一个问题：AI 正在改变数学的什么地方。

点 击 图 片 看 原 图

来源：a16z Show，2026年9月　嘉宾：李莉莎（Lisha Li，a16z 基础设施合伙人）、Mehtaab Sawhney、Mark Sellke（OpenAI 数学家）

开场就抛出了结论：过去一年，OpenAI 的模型在球堆积（sphere packing）、非索菲群构造（non-sofic group）这些困扰数学家几十年的难题上拿到了具体进展。两位数学家反复强调，让他们惊讶的不是 AI “搜得更多、跑得更久”，而是它的推理痕迹读起来像同事的研究笔记。

这期访谈最值得读的部分是后半段：他们讨论“数学家最值钱的东西是什么”——答案在慢慢换位，从“能不能证明”换到“能不能让人理解一个证明”。

本文要点

1.数学的瓶颈正在换位：过去几十年，稀缺资源是“证明”——理解、沟通、教学是顺带的事；AI 让证明变容易后，新瓶颈变成了“理解一个新结果”。Mark Sellke 原话：“曾经的主要瓶颈，现在已经不再是瓶颈。”

2.AI 解的不是难题，而是“人不会去解的题”：堆球、Erdős 系列、量子复杂度里的小问题，很多不是“超出人类能力”，而是“投入产出比不划算”——人会算账，AI 不会。Mehtaab Sawhney 讲了一个例子：把一个 Erdős 问题丢给 GPT-5，5 分钟就找到一篇参考文献。