历史上试图利用计算机技术解决世界数学难题的例子有很多，但大多都是铩羽而归，况且abc猜想又是允许存在“反例”的一个猜想，就算利用穷举法也非常的不现实。
到最终，还是指望有大批数学家能参透上田新一的500页论文，或者站出来一位能够利用其它方法解决abc猜想的数学家。
程诺也想做那一个提出另一种证明方案的数学家，但目前还没什么灵感，还是暂时的搁置为好。
机缘没到，程诺还是不那么异想天开了。
除了abc猜想之外，researhgate的数学讨论板块的大部分内容就是关于刚刚过去的国际数学家大会了。
researhgate里的这些人，自然是没有那资格亲自去国际数学家大会上逛逛，于是只能根据流传出几张照片大发感慨，指点江山。
“比尔教授已经老了，不行了啊，未来还是我们的！”
“三十年河东，三十年河西，莫欺少年穷！现在站在台上的是他们，三十年后就是我们主宰那里！”
“哇，楼上那句话好霸气，从哪学的？”
“嘿嘿，在国际版看的。那个站，简直太流弊了，尤其是那个叫做“装逼打脸”的东西，只要我参悟透，成为‘逼王’指日可待！”
“呵呵，逼王可不只需要装逼打脸，还需要实力，否能只能装逼不成反被艹！”这是程诺的回复，算是给年轻的人的忠告。
逼王可不只是口头上说说而已，也不是一朝一夕的事情。
孰不见程诺现在都很少装逼了，而是多花时间用在提升自身实力上。
程诺划着手机，瞥见了一条帖子标题。
《逼王惊现国际数学家大会，程诺之名响彻费城！》
帖子中说道，在本届大会上提出程诺定理的那个程诺，正是在那次山下真未学术报告上逼得山下真未哑口无言，有着‘逼王’之名的程诺。
帖子下面是一片对逼王程诺的膜拜之情。
程诺用了十多分钟的时间将帖子下面的每条发言都默默点赞。
大众的眼睛果然是雪亮的！
第四百一十一章 课题组