06:15
2026-08-11
boundlessintuition.com
artificial-intelligence
Lean prover Dirac solves the 2026 International Mathematical Olympiad
Boundless Intuition's autonomous proving agent Dirac proved all six problems of the 2026 International Mathematical Olympiad in 7 hours 18 minutes, faster than Pramaana Hardy's 8 hours 57 minutes and …