Six problems. One verifiable Human–AI journey.
An open record of how a human and AI read, attempt, fail, repair and verify all six IMO 2026 problems.
The IMO does not only test finding an answer. It tests seeing structure, choosing the right lemma, and writing a proof with no hidden steps. HIVE-IMO X records the whole process - blind reading, wrong routes, counterexamples and proof candidates - through to independent verification.
This is not an “AI solved mathematics” showcase. It is a record of how human judgment, machine search, and verification work without collapsing into one another.
Six problems, two exam days
IMO 2026 is the 67th IMO, held in Shanghai, 10–21 July 2026. Exam days are 15 and 16 July, three problems each. A problem counts as complete only at VERIFIED-INDEPENDENT or beyond.
These three figures are different. Six complete solution manuscripts already exist from earlier work; none has yet passed independent audit under this public pipeline.
Every problem passes through fifteen stages
The pipeline separates reading, attempting, verifying and comparing so no single agent can propose and bless its own answer.
Three roles, kept separate on purpose
- Choose research direction
- Hold intuition and the natural standard of proof
- Approve gates
- Control claims
- Own publication
- Formalize problems
- Map the theorem landscape
- Design gates
- Red-team proofs
- Surface hidden assumptions
- Issue verdicts
- Implement search / verifier
- Run tests and counterexample search
- Produce artifacts
- Update the website from the approved ledger
It unlocks only when all six problems reach at least VERIFIED-INDEPENDENT. The project will not display “6/6 solved” before then.