n))，而余项被控制在o(n{re(z?)}·exp(-c·(log n){1/2}))的量级，这个量级远远小於主项。”
“现在，筛法的精度和圆法的灵活性，通过傅立叶-米库辛变换连接在了一起。
筛法提供分层精度，圆法提供全局估计，对偶变换弥合了两者的语言隔阂。
最终，哥德巴赫问题的表法个数r(n)可以表示为一个主项加上一个可控的余项。”
他在黑板上写下最终的表达式。
这个奇异级数可以具体计算，並且对偶数n，它严格大於一个绝对正常数。
写完，他手里的粉笔也快要用完了。
“把表法个数r(n)的下界估计出来之后，问题最后归结为：证明一个几何不变量不等於零。
这个几何不变量，来源於弗洛尔同调群里的某个拓扑指標。
確切地说，我在顾辛流型上构造了一个与素数分布对应的拉格朗日子流形，计算它的弗洛尔同调群，发现它的秩恰好等於奇异级数(n)在一个特定极限下的取值。”
“而弗洛尔同调群的这个拓扑指標，我已经在去年关於孪生素数猜想的论文里证明过了，它不可能为零。”
他转过身，用仅存的一点粉笔在黑板上写下了最后一行。
“综上，对任意大於2的偶数n，r(n) ≥ c·n/(log n)2 ＞ 0，其中c是可具体计算的正常数。
哥德巴赫猜想成立。”
笔落，最后一点粉笔也用尽了，他拍了拍手，转过身来，直面台下的上万人。
聚光灯落在他清瘦的身影上，把他的影子投在了写满公式的黑板上。
“至此，证明完成。”
👉&128073; 当前浏览器转码失败：请退出“阅读模式”显示完整内容，返回“原网页”。