Unverified50% confidenceFactExact time
Terry Tao constructed a class of modified Navier-Stokes equations and proved that their solutions can blow up in finite time, and that this process can encode the computational steps of a Turing machine.
1
Sources
50%
Confidence
Long-term
Relevance
10/30/2026
First Seen
Sources
Nature's Computational Power: How Slime Molds, Fruit Flies, and Turbulence Inspire AI
youtubeLex Clips10/30/2026
Related Entities
Related Claims
Unverified2023年Terence Tao团队对多项式Freiman-Ruzsa猜想完成了形式化证明67% similarUnverifiedTao、Green等数学家在加性组合学领域做出了重要贡献66% similarUnverifiedTerence Tao rigorously proved that solutions to the averaged version of the three-dimensional Navier-Stokes equation blow up in finite time.63% similarUnverifiedIn the two-dimensional case, mathematicians proved in the 1960s that solutions to the Navier-Stokes equations remain smooth forever63% similarUnverifiedThe divsteps algorithm was originally proposed by Bernstein and Yang in 2019; it is an iterative method for computing polynomial greatest common divisors and modular inverses, involving only additions, subtractions, and shifts in each step, making it naturally suited to reversible implementation.62% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/1118281API
curl https://kongchang.com/api/v1/knowledge/claims/1118281MCP
get_claim(id=1118281)