林燃的话半真半假。
准确来说，应该是他现在没有准备要加入NASA。
现在一个名不见经传的无名小卒加入NASA，哪怕对阿波罗登月起到了至关重要的作用，那也未必能够获得他想要的，还很有可能因为自己华人的身份而导致自己的功绩被埋没。
在2020年的阿美莉卡重返月球，确实要低调再低调，自己只要钱不要名，可在1960年的阿美莉卡参与NASA登月，林燃要的是名而不是钱。
而且要大名。
要未来提到登月，各种报纸都绕不开他。
“可是...”还没等海恩斯说完，林燃打断道：“我想我应该会去哥伦比亚大学，如果你感兴趣的话可以去那儿找我。”
哥伦比亚大学，里面潜伏着大把法兰克福学派的学者，被誉为法兰克福学派在阿美莉卡的大本营。
而林燃为哥大准备的见面礼就是费马大定理的证明。
等到自己在数学界功成名就之后再转身加入NASA还不手拿把掐？
而且那也是一个更加合适的时间点。
苏俄宇航员加加林将在1961年的4月12日，在108分钟内围绕地球轨道飞行4万千米。
找费边社的学者为自己的学术成果保驾护航，用费马大定理的证明作为成为学术明星的见面礼，在成名之后靠着费边社在政府的官员敦促NASA主动找上门来。
整个计划简直不要太完美。
这也是为什么整个计划必须要有费边社徽章的重要原因。
没有费边社做靠山，他一个华人难度要上不止一个台阶。
之所以在2020年耽误了八个小时，是因为后面三个小时全部用来誊抄费马大定理的证明了。
安德鲁·怀尔斯教授证明费马大定理的论文一共130页，后续被数学家们缩略到50页。
这不代表他只需要50页就能证明，因为后世的50页是建立在大量数学家已经证明的定理基础上。
其中的关键定理，像谷山-志村猜想，这是怀尔斯证明思路的核心支柱，证明了所有椭圆曲线关联于模形式，于1955年提出，一直到2001年才被彻底证明。
科利瓦金-弗莱切方法一直要到80年代，才被提出，他构造欧拉系统，用于解决“模提升”中的Selmer群计算。
而用于连接数论与自守形式的桥梁，也就是朗兰兹纲领的局域部分，同样要等到70年代后期了。
所以林燃需要誊抄的要比怀尔斯原版论文的130页还要更多。
“霍克海默教授，一位年轻华人找你，他说有非常重要的事情要和你沟通。”
霍克海姆教授站在床边的菱形窗户上向下望去，只见一位年轻人穿着和时下风格都有些不一样的西装，整个人站笔直注视着前方一动不动：