Primary Work PageFriedman2026ForensicAuditMillenniumLeanClay215
DOI / Source10.5281/zenodo.22243472
Folderpapers/2026_MillenniumAudit/
Overview
Curated abstract when available.
Statement-level forensic audit of the MillenniumLean package (AIX Global, Zenodo 10.5281/zenodo.22226553), which claims kernel-checked Lean 4 proofs of the six remaining Clay Millennium Problems. The audit independently reproduces every kernel-hygiene claim (clean build, zero sorry, zero project axioms) under the pinned toolchain, then audits what the theorem types actually say. Verdict: none of the six problems is resolved.
Overview source: Paper overview (README).
Artifacts
Tracked documentation and PDFs served directly from this folder.
Documentation
README AGENTS SKILL Metadata Extracted text Citation metadata
PDF Files
- Friedman_2026_MillenniumAudit.pdf 69,262 bytes · only archived PDF
Extracted Content
No extracted figures are archived.