A machine-checkable foothold on a million-dollar mystery
- What it is
- A computer-assisted paper claims a bounded Hodge-conjecture result for odd-degree Fermat fourfolds through degree 199.
- Who did it
- Rifat Jumagulov
- What it could mean
- A foothold in one of mathematics’ biggest mysteries could become computer-checkable: hidden features of four-dimensional shapes. This claim covers a specific Fermat family through degree 199—not the full Hodge conjecture.
See the check plan
Evidence & validation
From announcement to evidence
Discovery recorded. State of Proof has not yet examined this claim.
Read the original work
The Hodge conjecture for Fermat fourfolds of odd degree at most 199 ↗See the proposed checks
Fresh clean-environment replay of the census, certificate hashes, independent enumeration, and prose-to-code/Lean correspondence; highest risk is completeness of the orbit classification and the geometric validity of each closure criterion.
No proof docket yet
A docket is the public record of checks and open questions. This paper does not have one yet; the check plan above describes work still to do.
Explore existing proof dockets →
- What it claims
- A computer-assisted proof for odd-degree Fermat fourfolds through degree 199, combining geometric closure criteria with an exhaustive ((2,2))-orbit census.
- Why this could matter
- A machine-checkable foothold on a million-dollar mystery The Hodge conjecture asks whether certain hidden geometric features always come from actual algebraic shapes. This paper does not solve it generally, but claims a fully checkable proof for a large, precisely bounded family of four-dimensional Fermat varieties.
- If it holds up
- Methods: it provides a demanding, replayable case study combining geometry, exhaustive computation, independent enumeration, certificates, and Lean on one bounded family.
- If it does not
- The general conjecture is untouched; the replay would reveal whether the census, geometric closure rules, or code-to-proof bridge failed.
- Impact horizon
- Methods · Algebraic geometry · Formal verification · Computer-assisted proof
- Version
- submitted 2026-07-28 18:45:26 UTC.
- Why we tracked it
- source-locked, narrow finite scope, and unusually rich independent replay surface; no docket created.
- Highest-risk dependency
- completeness of the orbit classification and the geometric validity of each closure criterion.
- Available artifacts
- Primary record links ancillary code, data, SHA-256 inventory, certificates, a smoke tier, and a GitHub Lean formalization; no current social signal used.
- Current boundary
- Intake record only; examination not started.