这对陶哲轩来说是一个好消息，这意味着他有更多的时间来刷MathOverflow和Arxiv了。
MathOverflow是一个数学领域的专业论坛，陶哲轩常年实名制活跃在上面。
等到GPT推出后，他更是用GPT做了很多有意思的工作，发布在MathOverflow。
这些有意思的工作离专业数学期刊有点距离，数学期刊很难完整表达他想要表达的意思，而比起一般的知识科普又有含金量的多，至少一般人很难读懂他工作的内涵。
所以他就会把这些和ai有关的数学工作，发表在MathOverflow上。
这天和往常一样，他呆在家里，享受这漫长的，特殊的，全球性的假期。
书房里，书架上密密麻麻地摆满了数学书籍，从经典的《数论导引》到最新的研究专著，每一本都像是他学术生涯的见证。
墙上挂着一块白板，上面写满公式和草图。电脑屏幕的光芒映照着他的脸庞，
窗外，街道上空无一人，遛狗的人都变得罕见起来。
要知道对老外来说，遛狗简直就和吃饭一样是他们的本能。
陶哲轩早已习惯了每天浏览Arxiv，寻找最新的学术动态。对他来说，这也是他的本能。
但不代表每一篇文章他都会看。
毕竟Arxiv上每天都有海量的论文上传，但对于他来说，大部分文章只需扫一眼标题就能判断是否值得关注。
标题不吸引他的，直接略过。
偶尔，有些标题会让他停下来，读一下摘要。
但真正让他深入阅读的论文，少之又少，可能连千分之一都不到。
他的筛选标准异常严格，标题必须足够新颖，摘要必须有足够的深度，否则直接pass。
严格程度堪比起点读者面对起点推荐到他们眼前的小说。
他像往常一样，打开Arxiv，滚动着页面。屏幕上的标题如流水般滑过，大部分都被他无情地忽略。
突然，一个标题映入眼帘：《代数几何方法在三元哥德巴赫猜想证明中的应用》。
这个标题，让他停下了手指。
弱哥德巴赫猜想，他再熟悉不过了。
2013年，黑尔夫格特用圆法和大筛法证明了这个猜想，即每个大于5的奇数都可以表示为三个素数的和。
黑尔夫格特的工作结合了经典数论技术和现代计算能力，陶哲轩对其证明记忆犹新。
但这篇新论文声称使用了代数几何的方法来改进黑尔夫格特的证明方法，这让他感到十分惊讶。
代数几何和数论，虽然都是数学的重要分支，它们的研究对象和方法在近四十年来才出现略微交叉。
但大多还是不那么相关，尤其在素数领域更是如此。