Sign inGet started
Dataset · Hugging Face

callensxavier/OpenAI-NSE-Thermodynamic-Censorship

The OpenAI Navier-Stokes and Euler Blow-Up Proofs: A Physical Reading, Not a Physical Refutation Socrate AI Lab / MechanicaFluidorum Program · Lead: Xavier Callens GitHub: xaviercallens/OpenAI-NSE-Epistemic-Audit (release v5.5.0) Zenodo: concept DOI 10.5281/zenodo.22696717 (always resolves to the latest version) · v5.6.0: 10.5281/zenodo.22838708 What this is In September 2026, an OpenAI multi-agent system produced Lean 4-verified proofs of finite-time blow-up for… See the full description on the dataset page: https://huggingface.co/datasets/callensxavier/OpenAI-NSE-Thermodynamic-Censorship.

Author / organizationcallensxavier
License (as declared)cc-by-4.0
Downloads553 (as reported by Hugging Face)
Likes0
Created12 September 2026
Last updated at source18 September 2026
navier-stokeseuler-equationsfluid-dynamicsformal-verificationlean4millennium-prizeopenaimodel-validitybeale-kato-majdaforced-coreleray-alphalans-alphakinetic-theory
Embed this entry
<iframe src="https://silytics.si/embed/item/521cbf63-a2b4-4f2f-8836-128024d116db" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Free, no tracking. More about feeds and embeds.

Popularity, last 5 days

553 now (-195 since 2026-10-16). Counts as reported by the source, snapshotted daily by Silytics.

More from callensxavier

Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 20 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.