BitsExplorer finds what people are building with AI, every day. See today's picks →

OpenAI NSE Epistemic Audit

Epistemic Audit of the OpenAI Navier-Stokes/Euler Lean 4 Blow-up Proof — Physical Vacuity, Thermodynamic Censorship & Structural Instability

Description excerpted from the original listing, which is linked below.

Open it Source code

Facts

Published: 10 Sep 2026 (10 Sep 2026)
Medium: web
Language: English (the page says so itself)
First seen: 16 Sep 2026, 20:16 UTC

Built with

Claude Code: confirmed
the agent's own trailer in the repository's commit history

What we can see

100 hygiene score

Certificate Get "https://zenodo.org/doi/10.5281/zenodo.22727801": dial tcp [2001:1458:d00:25::100:4dc]:443: connect: cannot assign requested address
Cookie attributes Get "https://zenodo.org/doi/10.5281/zenodo.22727801": dial tcp [2001:1458:d00:25::100:4dc]:443: connect: cannot assign requested address
Credentials and payment Get "https://zenodo.org/doi/10.5281/zenodo.22727801": dial tcp [2001:1458:d00:25::100:4dc]:443: connect: cannot assign requested address
No strict transport security Get "https://zenodo.org/doi/10.5281/zenodo.22727801": dial tcp [2001:1458:d00:25::100:4dc]:443: connect: cannot assign requested address
Served over HTTPS
Mail authentication sender policy and authentication published
Loads insecure resources Get "https://zenodo.org/doi/10.5281/zenodo.22727801": dial tcp [2001:1458:d00:25::100:4dc]:443: connect: cannot assign requested address
Redirects Get "https://zenodo.org/doi/10.5281/zenodo.22727801": dial tcp [2001:1458:d00:25::100:4dc]:443: connect: cannot assign requested address
Security headers Get "https://zenodo.org/doi/10.5281/zenodo.22727801": dial tcp [2001:1458:d00:25::100:4dc]:443: connect: cannot assign requested address
Third-party origins Get "https://zenodo.org/doi/10.5281/zenodo.22727801": dial tcp [2001:1458:d00:25::100:4dc]:443: connect: cannot assign requested address
Transport security Get "https://zenodo.org/doi/10.5281/zenodo.22727801": dial tcp [2001:1458:d00:25::100:4dc]:443: connect: cannot assign requested address

Observed 17 Oct 2026 by fetching the page as a browser would. This describes hygiene and transparency, not safety: a missing header does not make a site dangerous, and a complete set does not make it trustworthy.

Made this?

Show it on your own site or README. It links back to this page.

Get the badge

For a web page

<a href="https://bitsexplorer.com/i/178206/openai-nse-epistemic-audit"><img src="https://bitsexplorer.com/badge/178206.svg" alt="Featured on BitsExplorer" height="22"></a>

For a README (Markdown)

[![Featured on BitsExplorer](https://bitsexplorer.com/badge/178206.svg)](https://bitsexplorer.com/i/178206/openai-nse-epistemic-audit)

Changes we have seen

17 Oct 2026 updated
16 Sep 2026 first indexed

OpenAI NSE Epistemic Audit

More built with Claude Code

Today's picks

The week in AI-built software