第246章 別问问就是常识（第1页）

报告厅內的掌声逐渐平息。

顾昭昭站在主席台上，目光平静地扫过台下。

“现在是答疑时间。”

“有问题的，可以直接提问。”

话音刚落，前排瞬间齐刷刷举起十几只手。

这不是普通的课堂。

此时举手的，全是在国际数学界跺一跺脚都要地震的顶尖学者。

理查森教授因为刚才的激动，手心全是汗。

他深吸了一口气，把首问的机会让给了旁边一位满头银髮的西德数学家。

沃尔夫教授站起身。

“顾昭昭同学。”

“关於第二块黑板第三行。你定义的新不变量，在处理非单连通流形时，其同伦正合序列的截断条件缺乏足够的边界证明。”

“这在1975年格罗滕迪克的研討会上，被公认为是一个无法逾越的障碍。”

全场安静下来。

所有懂行的教授齐刷刷看向顾昭昭。

这是个极其尖锐且核心的问题。顾昭昭连身都没转。

“格罗滕迪克的假设前提，是基於经典的上同调理论。”

她语气极简，透著绝对的自信。

“我用的不是。”

她拿起粉笔，转身在第四块空白黑板上唰唰写下两行算式。

“引入局部係数系统，通过覆盖空间进行提升，障碍类自然消没。代入谱序列，第三页直接退化。压根不需要截断条件。”

沃尔夫教授愣在原地。

他低头看著自己的笔记本，又抬头盯著黑板上的两行字。

快速在脑海中进行推演。

三分钟后，他猛地合上笔记本，心服口服地弯下腰，深深鞠了一躬。

“逻辑严密。感谢您的解答！”

台下响起一阵低低的惊嘆声。

就这么两句话，破了困扰西德拓扑学界几年的难题。

戴维斯教授紧接著站了起来。

“顾，我承认你的构造极其精妙。”戴维斯推了推眼镜。

“但这个代数结构的计算复杂度极高。以目前的计算机算力，即便是ibm最新型的超级计算机，也无法在多项式时间內完成四维以上的验证。”

“如果无法计算，它在实际应用中的价值是否会大打折扣？”

这个问题，直接带上了现实工业发展的考量。

顾昭昭静静看著戴维斯。

“数学，从不向机器的算力低头！”

戴维斯被噎得一愣。

“况且，计算复杂度高是因为你们的算法冗余。”

顾昭昭一针见血，毫不留情。

“將其转化为图论中的网络流问题，利用单纯形法的改进算法，时间复杂度可以降到o（n^3）。现有的算力足够验证到十一维。”