”

数学家的身份都很多啦，尤其是著名数学家。

唐纳森全名叫西蒙·唐纳森，既是石溪分校几何与物理中心的研究员，同时也是伦敦帝国理工学院的教授。

他和陶哲轩在2014年的时候一起拿了突破数学奖。

双方在调和分析和偏微分方程领域有一些合作。

唐纳森从床上坐起，想了半天之后讲了个冷笑话：“没有，我们只有约瑟夫，没有伦道夫。”

陶哲轩有点不敢置信：“那你们那的博士有叫伦道夫的吗？”

唐纳森又想了想，“抱歉，好像也没有叫这个名字的。”

陶哲轩退而求其次：“本科？”

唐纳森无奈道：“陶，你好歹得告诉我伦道夫是谁？

你找他有什么事吧？

本科生我就真的不清楚了，我得发一封邮件问行政秘书才能回答你。”

陶哲轩实在有些震惊，如果是本科生做出这样的成果，那简直不敢想，“哦好吧，我这几天在Arxiv上看到一篇结合数论和代数几何的论文。

他结合代数几何和数论，把黑尔夫格特关于哥德巴赫猜想弱形式的证明做了优化。

优化后的结果非常优雅。”

从四色地图开始，不断有数学家把计算机证明引入纯数领域，但在一些保守派的数学家看来，这是不优雅的。

这和数学的本质是相悖的。

人工智能玩黑箱，到了纯数你们这帮人还想着玩黑箱是吧。

如果我们作为纯数领域的数学家都要玩人工智能黑箱，那人类早晚有一天要被人工智能取代。

正是因为有这样的思潮，所以用计算机辅助的数学论文，会被一些人认为不优雅，不够传统。

这跟手工拉面就是要比机器拉出来的更地道有点类似。

唐纳森怀疑自己还在做梦：“用代数几何去做素数问题？

我们系好像没做这个方向的。”

这么说吧，这属于很新的方向。

从最早证明费马大定理的怀尔斯，他使用的技术就包括代数几何。

那是1994年的事情了，从1994到2014，漫长的二十年里，很多数学家都想试着把代数几何和素数问题做个结合。

研究椭圆曲线的平均秩曼珠尔·巴尔加瓦拿了2014年的菲尔兹。

研究完备空间和棱柱同调的彼得·舒尔茨拿了2018年的菲尔兹。

研究素数分布的詹姆斯·梅纳德拿了2022年的菲尔兹。

上述内容都包括了代数几何和素数问题的结合。

简单来说，在这个领域能做出点名堂来的，几乎都拿了菲尔兹。

唐纳森左思右想之下，实在没有想出来，石溪分校有谁做这个做出了成果。

“好吧，看来你也不知道，我这就在WhatsApp上发Arxiv链接给你，你帮我问问伦道夫是谁，关于他文章的一些细节，我想要和他聊聊。”声音从大洋彼岸通过电话线传进唐纳森的耳中。

等陶哲轩挂断电话，唐纳森还有一种还在梦里的感觉。

一直到看见陶哲轩发来的链接，他点进去看了眼之后，才意识到这是真的。

“我们学校没听说谁做这个方向的。”唐纳森看着手机屏幕上的论文标题喃喃自语道。

陶哲轩还不肯放弃，他感觉自己要是不找到叫伦道夫的数学家，今天晚上恐怕要失眠了。

“有人知道伦道夫·林是谁吗？我在Arxiv上看到他挂出来的一篇文章，我觉得很有意思，里面的一些想法很有参考意义，我想和他讨论一下一些想法是如何产生的，我想会对我的工作很有帮助。