Research
MATHEMATICS
September 12, 2026
Midas Prover proves all 672 problems in PutnamBench, the formal Lean 4 benchmark of the hardest undergraduate math competition — including 346 hard-mode problems where the answer itself must be discovered.
MATHEMATICS
August 8, 2026
Midas Prover 1.2 achieves a perfect score at the 2026 International Mathematical Olympiad — all six problems solved, with complete proofs machine-verified in Lean 4. Open source in the IMO2026 repository.