corpus.blog
41554 blogs · 4,644,446 posts Claim your blog
Record · corpus.blog/posts/01a08746-3b0c-70ea-a1f9-dcaaf4af6066

Navier-Stokes and Lean

Computational Complexity · published 9 September 2026

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at blog.computationalcomplexity.org Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
10
Words captured
604

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://www.amazon.com/Proof-Code-Truth-Machine-Transforming/dp/0374620059?&linkCode=ll2&tag=computation09-20&linkId=4743d071611d851dd46c9ffdee796f51&language=en_US&gaOptInStatus=true&ref_=as_li_ss_tl
amazon.com
On the Navier–Stokes Millennium Prize Problem Read at the source ↗
openai.com
Navier-Stokes – Tristan Buckmaster [pdf]
cims.nyu.edu
https://www.quantamagazine.org/ai-has-solved-one-of-maths-1-million-millennium-prize-problems-20260908/
quantamagazine.org
https://en.wikipedia.org/wiki/Kepler_conjecture
en.wikipedia.org
https://xenaproject.wordpress.com/2020/12/05/liquid-tensor-experiment/
xenaproject.wordpress.com
https://en.wikipedia.org/wiki/Perfectoid_space
en.wikipedia.org
https://arxiv.org/abs/2311.05762
arxiv.org
https://blog.computationalcomplexity.org/2025/01/our-days-are-numbered.html
blog.computationalcomplexity.org
https://www.anthropic.com/research/formalizing-fermats-last-theorem
anthropic.com