还是说，就像是他刚才说的那样，他其实只是在回忆自己当初证明的时候是怎么考虑这件事情的？
他们此时都已经有点目瞪口呆了。
包括坐在前排的那些顶尖数学家们，也都是同样的反应。
他们此时都有点难以相信地看着正在擦黑板的萧易，脸上充满了不可思议。
“他要现场证明？这种问题……这种复杂的问题……真的是能够现场证明出来的吗？”
舒尔茨有些难以相信地说道。
“或许普通人不行，但他是萧易，他可能真的行。”
旁边的法尔廷斯则是笑道，对此倒是表现得十分淡然。
“我……”舒尔茨不知道说什么。
另一边，德利涅笑道：“开始有意思起来了。”
邦别里则是说道：“难道不是，越来越有意思了吗？”
德利涅一怔，随后失笑道：“好吧，你说的更精确一些，确实是越来越有意思了。”
而陶哲轩此时则显得有些激动。
“所以说，这种问题，基本上是不可能难住他的，在他看来，这样的问题竟然都是显而易见的，他就是真正的数学之神！买噶的！”
至于旁边的费弗曼和邱成桐，则略显沉默，因为实在是他们的心中，也都因为萧易这当场就要证明的行为而震撼。
这真的还属于人类的范畴吗？
他们很想问这样的问题。
但不待他们多想。
台上的萧易，已经擦完了黑板，然后拿起黑板笔，走到了左边的空白处。
“那么，我的证明现在开始。”
“先说明一下，之所以我当初证明的时候，会觉得这是一件显而易见，或者说我有这样的直觉，主要是来自于我对椭圆曲线的L-函数的理解。”
“对于任意的椭圆曲线，其L-函数都应该具有某种形式的自守性，这反映了椭圆曲线的某种内在对称性，而这种自守性，在我的证明中，正是通过广义模曲线的hecke特征来实现的。”
“不过现在，如果需要对这个过程进行严格的证明的话，那么也就需要一系列逻辑上的推断。”
“那么，我们先给出命题：对于任意的椭圆曲线e，总存在一个广义模曲线m，使得e可以被等变嵌入到m中。”
“第一步，考虑椭圆曲线e的L-函数L（e，s）。根据椭圆曲线的模性质，L（e，s）应该满足某种形式的函数方程和自守性，具体地，应该存在一个素数p和一个自同构o:e→e，使得——”
【L（e，s）=ε（e）*p^（-s2）*L（o（e），1-s）】
“其中ε（e）是一个依赖于e的常数。”
“接下来，我们考虑由e生成的一个形式化的广义模曲线m（e），作为一个直觉，我们可以将m（e）理解为由e通过某种乘积和商操作生成的一个更大的对象，类似于由一个群生成的群环。”
“在这个构造中，e上的自同构o可以被自然地延拓到m（e）上，记为o:m（e）→m（e）。”
“然后第三步……”
萧易一边讲述着，一边在黑板上写下了自己的证明过程。
而场下的众人，则已经是完全看呆了。
不是哥们，真能证明啊？
（本章完）