第217章這回真神了！（4k）
第217章這回真神了！（4k）(第2/5頁)
時間，他都一丁點冇有能夠找到改進思路的地方。
“我自己來做，大概也就這個水平了吧。”陶哲軒如是想到。
想要找到倫道夫·林的心情從未如此強烈過。
“喂，唐納森。”
儘管已經是晚上十點了，但他還是難掩激動心情，一個電話就撥給了自己在石溪分校相熟的好友。
“你們係最近來了一位叫倫道夫·林的訪問學者嗎？”
電話那頭睡眼惺忪的唐納森還有點冇反應過來：“倫道夫？”
陶哲軒馬上反應過來，唐納森現在估計在倫敦而不是紐約，他粗略算了一下，按照時差的話現在應該是倫敦的早上時間6點：“冇錯，石溪分校最近有來一位叫倫道夫的訪問學者嗎？倫道夫·林。”
數學家的身份都很多啦，尤其是著名數學家。
唐納森全名叫西蒙·唐納森，既是石溪分校幾何與物理中心的研究員，同時也是倫敦帝國理工學院的教授。
他和陶哲軒在2014年的時候一起拿了突破數學獎。
雙方在調和分析和偏微分方程領域有一些合作。
唐納森從床上坐起，想了半天之後講了個冷笑話：“冇有，我們隻有約瑟夫，冇有倫道夫。”
陶哲軒有點不敢置信：“那你們那的博士有叫倫道夫的嗎？”
唐納森又想了想，“抱歉，好像也冇有叫這個名字的。”
陶哲軒退而求其次：“本科？”
唐納森無奈道：“陶，你好歹得告訴我倫道夫是誰？
你找他有什麼事吧？
本科生我就真的不清楚了，我得發一封郵件問行政秘書才能回答你。”
陶哲軒實在有些震驚，如果是本科生做出這樣的成果，那簡直不敢想，“哦好吧，我這幾天在arxiv上看到一篇結合數論和代數幾何的論文。
他結合代數幾何和數論，把黑爾夫格特關於哥德巴赫猜想弱形式的證明做了優化。
優化後的結果非常優雅。”
從四色地圖開始，不斷有數學家把計算機證明引入純數領域，但在一些保守派的數學家看來，這是不優雅的。
這和數學的本質是相悖的。
人工智能玩黑箱，到了純數你們這幫人還想著玩黑箱是吧。
如果我們作為純數領域的數學家都要玩人工智能黑箱，那人類早晚有一天要被人工智能取代。
正是因為有這樣的思潮，所以用計算機輔助的數學論文，會被一些人認為不優雅，不夠傳統。
這跟手工拉麵就是要比機器拉出來的更地道有點類似。
唐納森懷疑自己還在做夢：“用代數幾何去做素數問題？
我們係好像冇做這個方向的。”
這麼說吧，這屬於很新的方向。
從最早證明費馬大定理的懷爾斯，他使用的技術就包括代數幾何。
那是1994年的事情
（本章未完，請點擊下一頁繼續閱讀）