Lean prover Dirac solves the 2026 International Mathematical Olympiad

(boundlessintuition.com) by bi_labsx | Aug 11, 2026 | 1 comments on HN