这个证明的过程可能会略微有些长，因此也还请大家继续耐心听一会儿。”

在场的所有人顿时间就都惊呆了。

什……什么？

现场证明？

这个他们连该从哪入手解决的问题，萧易就打算给他们现场证明一下？

这个问题从提出到现在，才过去了多久啊！

一时间，人们都不由得开始想，刚才萧易思考的那几分钟时间，到底是在思考什么东西？

还是说，就像是他刚才说的那样，他其实只是在回忆自己当初证明的时候是怎么考虑这件事情的？

他们此时都已经有点目瞪口呆了。

包括坐在前排的那些顶尖数学家们，也都是同样的反应。

他们此时都有点难以相信地看着正在擦黑板的萧易，脸上充满了不可思议。

“他要现场证明？这种问题……这种复杂的问题……真的是能够现场证明出来的吗？”

舒尔茨有些难以相信地说道。

“或许普通人不行，但他是萧易，他可能真的行。”

旁边的法尔廷斯则是笑道，对此倒是表现得十分淡然。

“我……”舒尔茨不知道说什么。

另一边，德利涅笑道：“开始有意思起来了。”

邦别里则是说道：“难道不是，越来越有意思了吗？”

德利涅一怔，随后失笑道：“好吧，你说的更精确一些，确实是越来越有意思了。”

而陶哲轩此时则显得有些激动。

“所以说，这种问题，基本上是不可能难住他的，在他看来，这样的问题竟然都是显而易见的，他就是真正的数学之神！买噶的！”

至于旁边的费弗曼和邱成桐，则略显沉默，因为实在是他们的心中，也都因为萧易这当场就要证明的行为而震撼。

这真的还属于人类的范畴吗？

他们很想问这样的问题。

但不待他们多想。

台上的萧易，已经擦完了黑板，然后拿起黑板笔，走到了左边的空白处。

“那么，我的证明现在开始。”

“首先说明一下，之所以我当初证明的时候，会觉得这是一件显而易见，或者说我有这样的直觉，主要是来自于我对椭圆曲线的l函数的理解。”

“对于任意的椭圆曲线，其l函数都应该具有某种形式的自守性，这反映了椭圆曲线的某种内在对称性，而这种自守性，在我的证明中，正是通过广义模曲线的hecke特征来实现的。”

“不过现在，如果需要对这个过程进行严格的证明的话，那么也就需要一系列逻辑上的推断。”

“那么，我们首先给出命题：对于任意的椭圆曲线e，总存在一个广义模曲线m，使得e可以被等变嵌入到m中。”

“第一步，考虑椭圆曲线e的l函数l(e，s)。根据椭圆曲线的模性质，l(e，s)应该满足某种形式的函数方程和自守性，具体地，应该存在一个素数p和一个自同构σ:e→e，使得——”

l(e，s)=e(e)*p^(s/2)*l(σ(e)，1s)】

“其中e(e)是一个依赖于e的常数。”

“接下来，我们考虑由e生成的一个形式化的广义模曲线m(e)，作为一个直觉，我们可以将m(e)理解为由e通过某种乘积和商操作生成的一个更大的对象，类似于由一个群生成的群环。”

“在这个构造中，e上的自同构σ可以被自然地延拓到m(e)上，记为σ:m(e)→m(e)。”

“然后第三步……”

萧易一边讲述着，一边在黑板上写下了自己的证明过程。

而场下的众人，则已经是完全看呆了。

不是哥们，真能证明啊？

(本章完)