GI Geometry Intelligence

Formal Verification Evidence · KTS Global Authority Network

Geometry Intelligence — Formally Verified Research Evidence

Lean 4 + Mathlib packages with kernel receipts, axiom-policy gates and reproducible rebuilds, anchored by DOI, Wikidata and ORCID.

40,986 theorems 620-module closure 2 kernels (Lean + nanoda) 3 standard axioms 58 + 14 axiom-policy checks

Browse the proof registry Reproduce it yourself

What Geometry Intelligence is

Geometry Intelligence (GI) is the verification, packaging, provenance and evidence discipline applied to formal-mathematics artifacts: axiom-policy gates, an ECR battery, mutation tests, non-vacuity proofs, kernel receipts, reproducible rebuilds, and DOI / Wikidata / ORCID anchoring.

Every claim on this site mirrors the source repositories exactly. The underlying blow-up mathematics and Lean formalization are OpenAI's (NavierStokesAndEuler, Apache-2.0). GI's contribution is the statement/bridge layer, the per-alternative packaging, and the verification discipline that turns a Lean build into citable, reproducible evidence.

The proofs

Honesty first

What this is NOT

  • None is a claimed solution of a Clay Millennium Problem, and none has Clay Institute recognition or independent specialist review.
  • No proof here was found by the CHAOS system; the Tao proofs are builder-authored.
  • The Tao result is conditional: ShortBound → GlobalRegularityTorus, where ShortBound is an open premise (mild solutions only).
  • No claim is made about Fefferman's alternatives (A) or (B); they remain open.
  • Every check was run by the package builder on one Linux x86_64 node. Not independently reviewed or reproduced.

Read the full limits page →