Development

A prover solves all twelve Putnam problems in Lean

development2026-01-10

Claim

AxiomProver produced formal Lean proofs solving all twelve Putnam 2025 competition problems nearly instantly.

Reported metric: 12/12

Reporting date: 2026-01-10 (not necessarily the event date)

Sources

Attribution and reporting linked by this record; links do not imply independent verification.

Welcome to January 10, 2026 (theinnermostloop.substack.com)

Knowledge graphopen in browser →

About

AxiomProver

Reported in

Welcome to January 10, 2026

Evidence for

Supersedes

Seed-Prover 1.5 solves 11 of 12 Putnam problems

Referenced by

Cite or correct this record

Citation formatCitation text

A prover solves all twelve Putnam problems in Lean
Innermost Loop KB — secondary record
Reporting date: 2026-01-10
KB permalink: https://nicholsn.github.io/innermost-loop-kb/developments/2026-01-10-axiomprover-12-of-12-putnam
Claim: AxiomProver produced formal Lean proofs solving all twelve Putnam 2025 competition problems nearly instantly.
Attributed sources:
- Welcome to January 10, 2026 — https://theinnermostloop.substack.com/p/welcome-to-january-10-2026
This citation does not imply independent verification of linked-source claims.

Suggest a correction — opens a GitHub draft for you to review and submit.