想要找到伦道夫·林的心情从未如此强烈过。
「喂，唐纳森。」
尽管已经是晚上十点了，但他还是难掩激动心情，一个电话就拨给了自己在石溪分校相熟的好友。
「你们系最近来了一位叫伦道夫·林的访问学者吗？」
电话那头睡眼惺忪的唐纳森还有点没反应过来：「伦道夫？」
陶哲轩马上反应过来，唐纳森现在估计在伦敦而不是纽约，他粗略算了一下，按照时差的话现在应该是伦敦的早上时间6点：「没错，石溪分校最近有来一位叫伦道夫的访问学者吗？伦道夫·林。」
数学家的身份都很多啦，尤其是著名数学家。
唐纳森全名叫西蒙·唐纳森，既是石溪分校几何与物理中心的研究员，同时也是伦敦帝国理工学院的教授。
他和陶哲轩在2014年的时候一起拿了突破数学奖。
双方在调和分析和偏微分方程领域有一些合作。
唐纳森从床上坐起，想了半天之后讲了个冷笑话：「没有，我们只有约瑟夫，没有伦道夫。」
陶哲轩有点不敢置信：「那你们那的博士有叫伦道夫的吗？」
唐纳森又想了想，「抱歉，好像也没有叫这个名字的。」
陶哲轩退而求其次：「本科？」
唐纳森无奈道：「陶，你好歹得告诉我伦道夫是谁？
你找他有什幺事吧？
本科生我就真的不清楚了，我得发一封邮件问行政秘书才能回答你。」
陶哲轩实在有些震惊，如果是本科生做出这样的成果，那简直不敢想，「哦好吧，我这几天在Arxiv上看到一篇结合数论和代数几何的论文。
他结合代数几何和数论，把黑尔夫格特关于哥德巴赫猜想弱形式的证明做了优化。
优化后的结果非常优雅。」
从四色地图开始，不断有数学家把计算机证明引入纯数领域，但在一些保守派的数学家看来，这是不优雅的。
这和数学的本质是相悖的。
人工智慧玩黑箱，到了纯数你们这帮人还想着玩黑箱是吧。
如果我们作为纯数领域的数学家都要玩人工智慧黑箱，那人类早晚有一天要被人工智慧取代。
正是因为有这样的思潮，所以用计算机辅助的数学论文，会被一些人认为不优雅，不够传统。
这跟手工拉面就是要比机器拉出来的更地道有点类似。
唐纳森怀疑自己还在做梦：「用代数几何去做素数问题？
我们系好像没做这个方向的。」
这幺说吧，这属于很新的方向。
从最早证明费马大定理的怀尔斯，他使用的技术就包括代数几何。
那是1994年的事情了，从1994到2014，漫长的二十年里，很多数学家都想试着把代数几何和素数问题做个结合。
研究椭圆曲线的平均秩曼珠尔·巴尔加瓦拿了2014年的菲尔兹。
研究完备空间和棱柱同调的彼得·舒尔茨拿了2018年的菲尔兹。
研究素数分布的詹姆斯·梅纳德拿了2022年的菲尔兹。
