不过让数学家郁闷的是，虽然孙平用代数几何曲线图阐释了这个猜想，当他却没有证明，反倒是又提出一个猜想。孙平认为“有理数域上的椭圆曲线都是模曲线”，同时根据这个猜想又提出一个反证汤姆猜想的命题。

假定“费马大定理”不成立，即存在一组非零整数a、b、c使得a^nb^n=c^n（n>2），那么用这组数构造出的形如y^2=x（xa^n）x（x-b^n）的椭圆曲线，不可能是模曲线。于是同样一个问题就推断出了两个截然相反的猜想。到这里的时候，很多数学家都露出了惊喜的神色，因为孙平的证明已经将汤姆猜想简化成了a和b的双选题，只要b不能证明，那么a必然成立，那就等于汤姆猜想得到了最终证明。

看到这里，高教授从衣兜里掏出了速效救心丸，吞了一粒。然后吩咐身边的学生，“看看有哪些教授最近在江南省，让他们赶紧到这里来！顺便问问这个学校的人，孙平的证明步骤可以同步到震旦国数学学会和震旦国科学院数学物理学部么？这些东西太重要了，我们需要同步验算下。我觉得，如果不出意外的话，汤姆猜想今天就会被证明出来！”

高教授吩咐下去之后，学生们纷纷行动起来。刚好有两个教授正在别的大学做访问。收到高教授的消息之后，立刻驱车往江南东方学园赶。而此时学会和学部都同步接收到了孙平的证明过程，看着屏幕上的公式和图形，几个老教授都被惊了。“理想素数理论”终于得到了数学理论基础的证实，终结了有关这个理论长达几十年的争执；同时将几何理论引入到汤姆猜想的证明步骤里，这简直是太天才的灵感了！几位老教授手心里都激动得出了汗，他们一边吩咐自己手下的研究生加紧验算过程，而他们也一边猜测孙平的继续证明过程。

此时孙平已经证明了一个多小时，他忽然开口道：“能帮我送一壶茶过来么？最好还给我根香蕉。”

孙平话音一落，立刻就有人忙碌了起来。不到几分钟，一串香蕉和一壶茶就放在了孙平的身边。送东西的人小心翼翼地送了过去就赶紧走开了，因为刚刚无数数学家在威胁他，如果他打断了孙平的灵感，他们这群数学家就敢当场在这里将他埋了。对于数学家来说，几十年的积累固然重要，当那一瞬间的灵感就是很多数学家一辈子可遇不可求的事儿。

孙平给自己倒了杯茶，然后一边吃着香蕉一边进行运算。虽然孙平的心算能力超强，但他并不打算炫技，而是中规中矩地用电脑自带的计算器进行运算。好在阶梯教室里提供的电脑计算器是专门的科学计算器，否则有些运算还真不好做。孙平现在全部的精力都在解决那个有关汤姆猜想的反证猜想上，而在孙平的一步步验算和推论之下，好几个教授眼眶都湿润了，因为他们看到了希望。

当孙平香蕉吃完的时候，他已经证明反证猜想是不成立的了。当这个结论被推论出来之后，阶梯教室了欢声一片。

孙平却“嘘”了一下，笑着说，“还差尾巴没有弄完呢。”

于是现场不少人笑了出来。孙平在电子屏上继续写到，因为反证猜想不成立，即“有理数域上的椭圆曲线都是模曲线”是成立的，则汤姆猜想成立。

写完之后，孙平揉了揉自己的腕关节，颇为遗憾地道：“整个证明过程太复杂了，远远达不到‘有趣‘的标准。”

场下的数学家立刻露出鄙视的表情，你丫将困扰数学界百余年的猜想给解决了，居然还嫌弃证明过程不够“有趣”。不过孙平的证明过程虽然公布了出来，但是能不能得到承认还要看国际数学联合会的公告。他们会安排其他数学家去检验孙平的证明过程，一旦得到大家的承认，那么孙平就将成为汤姆猜想的证明人。不过现场没有人怀疑孙平的证明不会得到承认，因为在孙平证明的同时，大家都在进行同步验算。迄今为止，全部通过。除非有人能反证孙平的证明出问题，否则孙平的证明就是通过了的。

此时下面有数学家举手道：“孙平先生，我是《数学年刊》的编辑。我们曾很有幸刊登过您有关庞加莱猜想的证明论文，那么请问这篇论文是否能有幸被我们所刊发呢？我们一定会拿出最好的版面尽快公布的！”

“没问题！”孙平点头同意了，《数学年刊》不会辱没这篇论文的价值，“对了，我现在是南方理工学院数学系的博士生，所以作者单位烦请写成南方理工学院。”

上次证明庞加莱猜想的时候，孙平的主要身份是桃江第四中学的老师，所以作者单位自然是桃江第四中学。这个身份不仅让桃江四中几乎一夜在全球爆红，也让很多人惊讶孙平的身份。孙平现在选择南方理工学院，其实等于就是给自己的论文加一层保护色。