至于那位压箱底的三奖得主约翰·汤普森已经去了阿美利坚。
倒是来了一个数论领域的泰斗级别的人物约翰·科茨。
他是证明费马大定理的安德鲁·怀尔斯的导师。
当初怀尔斯想要证明费马大定理，还是这位给的建议。
没有约翰·科茨前面的奠基性工作，怀尔斯根本没法攻破费马大定理。
姬天明看到他的时候都愣了一下。
不是哥们，你们来真的？
剑桥大学数学系系主任来就算了，牛顿研究所所长来，是他们欠了姬天明的人情。
而那位菲奖得主以及约翰·科茨来什么意思？
砸场子？
沃沃斯基在一旁缓缓道：“怎么样，牌面够吧？”
“那边那个老头，是剑桥牛顿研究所第一任所长阿蒂亚，我们特意去请的。”
姬天明嘴角抽了抽。
够，太够了。
菲尔兹奖与阿贝尔奖双奖得主也来了。
要是汤普森在这里，你们是不是也要请来？
或者把牛津大学的怀尔斯也喊来。
“紧张吗？”
沃沃斯基看到姬天明额头的冷汗，开口打趣说道。
姬天明深呼吸了一口气，道：“我分享的可是顶尖思路，不是什么野鸡思路。
谁做出来就算谁的。”
“紧张个什么。”
沃沃斯基与姬天明也是相处了几个月，早就知道这家伙是什么人了。
他在鲍尔森面前说的那些话，早就知道了。
当初还很生气，可是后面一想，他不就是这种性格吗。
姬天明分享的思路，很可能走不通。
不然他没那么大方。
不过看破不说破。
此刻主持人鲍尔森在台上说着：“本次报告会，是来自东大的一位顶级数学天才，也是我们认可的形式化证明的首席架构师姬天明。”
“尽管黑尔斯教授已经用形式化的方式证明了克卜勒猜想，但是如果能够用优美的数学语言来证明这个四百年的古老猜想。
又何尝不是一种数学界的佳话呢。”
“当年怀尔斯在这里宣布证明费马大定理，如今，也许是克卜勒猜想的又一种新证明思路。”
“我本科也是学数学出身的，对于这种古老的猜想，能用优美的数学语言来证明，必然是一段广为人知的佳话。
我们应该给一位19岁的天才一个机会。”
台下已经鼓起了掌声。
“下面有请这位少年天才。”
姬天明此刻一身西装，直接走了上去。
对着所有人说道：“很荣幸能够今天站在这里做一次报告会，感谢大卫教授...，以上排名不分先后”
姬天明念了一堆人名字，能够感谢的人，必须要感谢。
人情世故这一块，就得做到位。
随后才开始步入正题。
他缓缓说道：“黑尔斯教授对于克卜勒定理的贡献是毋庸置疑的。
他从离散几何、线性规划与凸优化、组合数学与图论、实分析与数值分析、计算几
何、形式化逻辑与定理证明等多个方面来证明了这个猜想。”
“完成了悬而未决四百年的接力赛。
他历时19年都没有放弃，甚至在普林斯顿高等研究院都放弃的时候，黑尔斯教授依旧是坚持了下来。
别人都称赞黑尔斯教授的天才、坚韧，我却深知一个十多年没有产出成果的教授的不易。
这其中的辛酸与不被理解，这期间同行的嘲讽与戏谑，又有几个人能够感同身受呢？”
台下的黑尔斯没想到姬天明感谢完所有人之后，第一个是吹他的工作。
他都以为这货要踩着他的头出名了。
没想到，万万没想到。
