“下面，我就来讲一下具体的推导过程。我们先假设这个操作不会在有限次后终止，那么……”
二十分钟后。
“……公式十一同公式八的推导思路，代入三维代数簇中的单元环，三步推导后，发现得出的结果和前面的条件三矛盾。”
“因此，flip操作在有限次后终止。至于这个终止时的次数，我也算出来了，是第8741780462次。”
为了在有限的时间内尽量用数学语言讲述清楚自己的解决思路，程诺不得不刻意加快的一些语速。
程诺拧开摆在演讲桌上的一瓶矿泉水，咕咚咕咚喝下去。
一边喝，他的眼睛一直注意这下面的听众。
菲涅尔教授悄悄竖起大拇指。
另一位菲奖大佬浑浊的眸子满是好奇的打量着程诺。
其余大部分数学家在皱眉沉思。
程诺抛出来的信息量太大，即便他们个个都是才思敏捷之辈，也难以跟得上程诺的思路。
程诺笑了笑，“各位不用担心，我已经将极小模型纲领两大问题的推导过程整理成两篇论文，将预印本上传到arxiv上，诸位可以随时下载验证。”
内容未完，下一页继续阅读