待验证50% 置信事实精确时间

Terry Tao构造了一类改进的Navier-Stokes方程，证明其解可以在有限时间内blow-up，且该过程能编码图灵机的计算步骤。

1

来源数

50%

置信度

长期有效

时效性

2026/10/30

首次发现

来源

自然界的计算力：黏菌、果蝇与湍流如何启发AI

youtubeLex Clips2026/10/30

涉及实体

Terry Taoperson Navier-Stokes方程concept 图灵机concept

相关事实

待验证2023年Terence Tao团队对多项式Freiman-Ruzsa猜想完成了形式化证明67% 相似待验证Tao、Green等数学家在加性组合学领域做出了重要贡献66% 相似待验证陶哲轩严格证明了平均化版本的三维Navier-Stokes方程的解会在有限时间内爆破63% 相似待验证在二维情形,数学家已于20世纪60年代证明Navier-Stokes方程的解永远光滑63% 相似待验证divsteps算法最初由Bernstein和Yang于2019年提出，是一种用于计算多项式最大公约数和模逆的迭代方法，每一步只涉及加减和移位操作，天然适合可逆实现。62% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/1118281

API

curl https://kongchang.com/api/v1/knowledge/claims/1118281

MCP

get_claim(id=1118281)