人工智能玩黑箱，到了纯数你们这帮人还想着玩黑箱是吧。

如果我们作为纯数领域的数学家都要玩人工智能黑箱，那人类早晚有一天要被人工智能取代。

正是因为有这样的思潮，所以用计算机辅助的数学论文，会被一些人认为不优雅，不够传统。

这跟手工拉面就是要比机器拉出来的更地道有点类似。

唐纳森怀疑自己还在做梦：“用代数几何去做素数问题？

我们系好像没做这个方向的。”

这么说吧，这属于很新的方向。

从最早证明费马大定理的怀尔斯，他使用的技术就包括代数几何。

那是1994年的事情了，从1994到2014，漫长的二十年里，很多数学家都想试着把代数几何和素数问题做个结合。

研究椭圆曲线的平均秩曼珠尔·巴尔加瓦拿了2014年的菲尔兹。

研究完备空间和棱柱同调的彼得·舒尔茨拿了2018年的菲尔兹。

研究素数分布的詹姆斯·梅纳德拿了2022年的菲尔兹。

上述内容都包括了代数几何和素数问题的结合。

简单来说，在这个领域能做出点名堂来的，几乎都拿了菲尔兹。

唐纳森左思右想之下，实在没有想出来，石溪分校有谁做这个做出了成果。

“好吧，看来你也不知道，我这就在whatsapp上发arxiv链接给你，你帮我问问伦道夫是谁，关于他文章的一些细节，我想要和他聊聊。”声音从大洋彼岸通过电话线传进唐纳森的耳中。

等陶哲轩挂断电话，唐纳森还有一种还在梦里的感觉。

一直到看见陶哲轩发来的链接，他点进去看了眼之后，才意识到这是真的。

“我们学校没听说谁做这个方向的。”唐纳森看着手机屏幕上的论文标题喃喃自语道。

陶哲轩还不肯放弃，他感觉自己要是不找到叫伦道夫的数学家，今天晚上恐怕要失眠了。

“有人知道伦道夫·林是谁吗？我在arxiv上看到他挂出来的一篇文章，我觉得很有意思，里面的一些想法很有参考意义，我想和他讨论一下一些想法是如何产生的，我想会对我的工作很有帮助。

有知道的可以在这个问题下面留言，如果伦道夫本人看到，你愿意和我聊聊的话，欢迎你发邮件给我，我在看到之后第一时间会进行回复。

terry tao编辑于2020年3月15日”

把陶哲轩都给逼得直接在mathoverflow上发帖找人了。

mathoverflow是一个类似知乎的论坛，数学版知乎。

看名字就知道，math。

专注数学问题提问和回答的论坛。

陶哲轩在这论坛上属于不折不扣的大牛，最早的提问发布于2010年，也就是是十年前。

病毒流行期间，大家几乎都被关在家呢。

各种线上论坛都格外活跃。

大佬亲自出来找人。

一时间吃瓜群众云集。

“我不是，但我可以是。”

“看了一下，很有意思的标题，等我看看再来详细聊聊。”

“没听说过，这名字听上去像是华人，不过我还真没听说过。”

“石溪分校？我怎么没听说过。”

一个小时之后，下面的回答已经超过100条了，在这种专业性论坛上，实属罕见。

没有一个人认识伦道夫，就好像这个人是凭空冒出来的一样。

陶哲轩看着问题下面的回答，心想事情已经发酵，这篇论文本身，大概也很快会被能看懂的数学家所关注，到时候伦道夫自然会冒出来。

他心想，终于完成了一件事。

病毒流行期间，吃瓜群众无处不在。

知乎上，一个小时后，这个问题就被搬运到了知乎上：“如何评价陶哲轩要找的randolph·lin，是华人数学家吗？他的成果为什么引起了陶哲轩公开找人？”

“泻药，初步看了一下，事情属实，不过论文看不懂，只能飘过。”

“应该是华人，老外好像很少有lin这个姓。”

“大致看了一下，terry亲自出来找人确实是很罕见的一件事。

论文我还没来得及看，只看了眼标题，看到mathoverflow上大家讨论的很热烈，没想到在知乎上还能看到有人提问。

我简单讲两句我的理解吧，代数几何主要研究多项式方程的解，通常涉及仿射或射影簇及其上的正则函数环。

而传统上，我们认为哥德巴赫猜想属于加性数论，与素数的分布密切相关，而代数几何更多出现在椭圆曲线、模形式或l函数等数论问题中。

我猜测伦道夫·林应该是尝试将哥德巴赫猜想的素数和概念推广到代数几何的语境中，将整数替换为多项式，将素数替换为不可约多项式。

任何至少两个变量的多项式可以表示为至多2r个绝对不可约多项式的和，其中r是多项式的非零单项式数量。

这类似于数论中将奇数表示为三个素数之和的