“喂，唐納森。”
盡管已經是晚上十點了，但他還是難掩激動心情，一個電話就撥給了自己在石溪分校相熟的好友。
“你們系最近來了一位叫倫道夫·林的訪問學者嗎？”
電話那頭睡眼惺忪的唐納森還有點沒反應過來：“倫道夫？”
陶哲軒馬上反應過來，唐納森現在估計在倫敦而不是紐約，他粗略算了一下，按照時差的話現在應該是倫敦的早上時間6點：“沒錯，石溪分校最近有來一位叫倫道夫的訪問學者嗎？倫道夫·林。”
數學家的身份都很多啦，尤其是著名數學家。
唐納森全名叫西蒙·唐納森，既是石溪分校幾何與物理中心的研究員，同時也是倫敦帝國理工學院的教授。
他和陶哲軒在2014年的時候一起拿了突破數學獎。
雙方在調和分析和偏微分方程領域有一些合作。
唐納森從床上坐起，想了半天之后講了個冷笑話：“沒有，我們只有約瑟夫，沒有倫道夫。”
陶哲軒有點不敢置信：“那你們那的博士有叫倫道夫的嗎？”
唐納森又想了想，“抱歉，好像也沒有叫這個名字的。”
陶哲軒退而求其次：“本科？”
唐納森無奈道：“陶，你好歹得告訴我倫道夫是誰？
你找他有什么事吧？
本科生我就真的不清楚了，我得發一封郵件問行政秘書才能回答你。”
陶哲軒實在有些震驚，如果是本科生做出這樣的成果，那簡直不敢想，“哦好吧，我這幾天在arxiv上看到一篇結合數論和代數幾何的論文。
他結合代數幾何和數論，把黑爾夫格特關于哥德巴赫猜想弱形式的證明做了優化。
優化后的結果非常優雅。”
從四色地圖開始，不斷有數學家把計算機證明引入純數領域，但在一些保守派的數學家看來，這是不優雅的。
這和數學的本質是相悖的。
人工智能玩黑箱，到了純數你們這幫人還想著玩黑箱是吧。
如果我們作為純數領域的數學家都要玩人工智能黑箱，那人類早晚有一天要被人工智能取代。
正是因為有這樣的思潮，所以用計算機輔助的數學論文，會被一些人認為不優雅，不夠傳統。
這跟手工拉面就是要比機器拉出來的更地道有點類似。
唐納森懷疑自己還在做夢：“用代數幾何去做素數問題？
我們系好像沒做這個方向的。”
這么說吧，這屬于很新的方向。
從最早證明費馬大定理的懷爾斯，他使用的技術就包括代數幾何。
那是1994年的事情了，從1994到2014，漫長的二十年里，很多數學家都想試著把代數幾何和素數問題做個結合。
研究橢圓曲線的平均秩曼珠爾·巴爾加瓦拿了2014年的菲爾茲。
研究完備空間和棱柱同調的彼得·舒爾茨拿了2018年的菲爾茲。
研究素數分布的詹姆斯·梅納德拿了2022年的菲爾茲。
上述內容都包括了代數幾何和素數問題的結合。