在我看来，对于这类问题用线性形式对数理论的话，可能范围要缩窄会比较有效，比如我只针对所有类数为1的虚二次数域，去证明这样的虚二次数域是有限的。
另外你提到的莫德尔方程，我觉得这个会更有意思一点，因为下界能够限制可能的x和y的值，所以可以去让莫德尔方程的解做到系统性的枚举。
我个人认为它其实反应的是超越数论工具在代数几何中的应用，某种意义上也反应了数论和几何能够产生联系。”
林燃没有说完的潜台词是，这间接证明了伦道夫纲领的正确性。
学术研讨会结束后，林燃已经回温菲尔德庄园休息了，这也是阿美莉卡驻英格兰大使的官邸，因为占地面积特别大，在伦敦仅次于白金汉宫，所以一般无论是总统还是高级官僚都会在这里下榻，而不是酒店。
林燃离开的时候，在车上心想，要是温菲尔德庄园再被毛子渗透了，科罗廖夫在温菲尔德庄园里等自己的话，那不如直接投了算了，还竞争毛线啊。
伦敦大学哈罗德教授的办公室里，艾伦·贝克还在喋喋不休地谈着自己今天收获的灵感：
“果然，线性形式对数理论在计算数论领域是革命性的存在，它能够应用在大量问题上。”
哈罗德用西装口袋里的方巾把黑框眼镜擦了擦，然后一边戴上，一边问自己的学生：“林教授曾经提到过飞鸟和青蛙，你知道是指什么吗？”
“知道，飞鸟指明方向，青蛙深挖细节。”艾伦·贝克说。
因为林燃陆续丢出了顶级成果，所以他所提出的伦道夫纲领得到了越来越多数学家的认可。
内容未完，下一页继续阅读