陶哲轩有点不敢置信：“那你们那的博士有叫伦道夫的吗？”
唐纳森又想了想，“抱歉，好像也没有叫这个名字的。”
陶哲轩退而求其次：“本科？”
唐纳森无奈道：“陶，你好歹得告诉我伦道夫是谁？
你找他有什么事吧？
本科生我就真的不清楚了，我得发一封邮件问行政秘书才能回答你。”
陶哲轩实在有些震惊，如果是本科生做出这样的成果，那简直不敢想，“哦好吧，我这几天在Arxiv上看到一篇结合数论和代数几何的论文。
他结合代数几何和数论，把黑尔夫格特关于哥德巴赫猜想弱形式的证明做了优化。
优化后的结果非常优雅。”
从四色地图开始，不断有数学家把计算机证明引入纯数领域，但在一些保守派的数学家看来，这是不优雅的。
这和数学的本质是相悖的。
内容未完，下一页继续阅读