AISystem

AxiomProver

Sources

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

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

Produced Lean proofs for all twelve Putnam 2025 problems.

Development timeline

Newest reporting dates first. Reporting dates may differ from event dates.

2026-02-06: A prover settles an open research conjecture unaided

2026-01-10: A prover solves all twelve Putnam problems in Lean

Knowledge graphopen in browser →

Cite or correct this record

Citation formatCitation text

AxiomProver
Innermost Loop KB — secondary record
Reporting date: unknown
KB permalink: https://nicholsn.github.io/innermost-loop-kb/systems/axiomprover
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.