知乎热榜这两天挂着一个问题,题面直接把结论摆出来了——森多夫猜想被AI、Lech Mazur、陶哲轩攻破。问题底下问得最多的不是这事发生没发生,是这几个说法各自能坐实到什么程度。

这问题到底在问什么?

热榜题面其实分两层。一层是森多夫猜想(Sendov's Conjecture)被AI、Lech Mazur、陶哲轩攻破,这话是不是站得住;另一层更大,问的是最近一批数学开放猜想——雅可比猜想、DGG猜想、Erdős单位距离猜想——被AI密集攻克这件事该怎么看。两层问题挂在同一个词条下,评论区里也是混着聊,一部分人揪着森多夫猜想的细节问,一部分人在聊AI解数学题这个更大的现象。

AI相关的话题这阵子本来就不缺,从3700均订作者被AI封杀的传闻黄仁勋秘密访华抢钻石的说法,数学猜想这条只是又添了一件。

森多夫猜想被AI攻破,这话怎么来的?

森多夫猜想是复分析里一个老猜想,讨论的是多项式的根和它导数临界点之间的距离关系,存在了几十年,属于数学圈里有名有姓、外行也听过名字的那类开放问题。热榜题面的表述是「已被AI、Lech Mazur、陶哲轩攻破」,这是问题自带的说法,也是这场讨论的起点。至于具体是谁先做出来、用的什么方法、论文走没走到发表评审这一步,题面本身没往下展开,讨论也大多停在这句表述上打转。

Lech Mazur和陶哲轩,各自算几分?

题面里用的问法是「几分实锤」,这个提法本身就说明重点不在有没有这回事,而在这几个名字各自占多大分量。陶哲轩在数学圈的分量不用多讲,这些年他确实公开聊过用AI辅助数学研究这个方向;Lech Mazur这个名字相对小众。两人在这件事里到底是主导解题、参与验证,还是只是被提到、被转发,题面没有拆开讲,「几分」这个措辞留出的正是这块空白。

还点了哪些猜想的名?

除了森多夫猜想,题面里一并提到的还有雅可比猜想、DGG猜想、Erdős单位距离猜想,都是数学里正经的开放问题,难度和知名度不在一个量级,但都属于圈外人也能听过名字的那种。把这几个放在一起问,说明这轮讨论关心的不是单一一个猜想被解开,而是AI最近好像在好几个数学开放问题上连着有动作这个更大的印象——这个印象本身,也是题面提出来让大家评判的。机器人和AI放在一起被讨论也不是新鲜事,宇树造富众生相曝光那波热度也是这么起来的。

哪些还没有答案?

能确认的只是知乎热榜上出现了这样一个问题,题面列出了几个猜想的名字,带上了陶哲轩、Lech Mazur两个人名。森多夫猜想是不是真被解开、走的是什么路径,陶哲轩和Lech Mazur具体做了什么、算主力还是被提及,雅可比猜想、DGG猜想、Erdős单位距离猜想各自进展到哪一步——这些都还停在问题本身抛出来的阶段,没有再往下的信息可以对上。