# Geometry Intelligence — Formally Verified Research Evidence

> Lean 4 + Mathlib formal-verification packages with kernel receipts, axiom-policy gates,
> mutation tests, non-vacuity proofs and reproducible rebuilds, anchored by DOI/Wikidata/ORCID.
> Owner: Tim Jacobs, KTS Global (ORCID 0009-0008-7130-1448).

## What is NOT claimed
- None is a claimed solution of a Clay Millennium Problem; no Clay recognition; no independent review.
- Blow-up mathematics and Lean formalization are OpenAI’s (NavierStokesAndEuler @ f9e8bc5b, Apache-2.0).
- No proof here was found by the CHAOS system; Tao proofs are builder-authored.
- Tao result is conditional: ShortBound -> GlobalRegularityTorus; ShortBound is an open premise (mild solutions only).
- No claim about Fefferman alternatives (A) or (B). Builder-run, single Linux x86_64 node.

## Proofs
- [S437: Lean 4.34.1 port and rebuild of OpenAI's NavierStokesAndEuler formalization (Clay alternatives C and D)](https://geometryintelligence.institute/proofs/s437/) — gi:proof:s437 — Released
- [Navier–Stokes R2/R3 community verification package, V1](https://geometryintelligence.institute/proofs/r2-r3/) — gi:proof:r2r3 — Released
- [Lean 4 - Proof - Navier–Stokes C/D (KTS Global)](https://geometryintelligence.institute/proofs/navier-stokes-cd/) — gi:proof:nscd — Released
- [Lean 4 - Proof - Tao ShortBound to Global Regularity](https://geometryintelligence.institute/proofs/tao-shortbound/) — gi:proof:tao-shortbound — Release candidate (conditional)

## Machine endpoints
- https://geometryintelligence.institute/api/proofs
- https://geometryintelligence.institute/api/resolver
- https://geometryintelligence.institute/api/ai-ingest

## Pages
- https://geometryintelligence.institute/
- https://geometryintelligence.institute/method/
- https://geometryintelligence.institute/proofs/
- https://geometryintelligence.institute/verify/
- https://geometryintelligence.institute/limits/
- https://geometryintelligence.institute/provenance/
- https://geometryintelligence.institute/cite/
- https://geometryintelligence.institute/federation/
- https://geometryintelligence.institute/about/