Lean prover Dirac solves the 2026 International Mathematical Olympiad
By bi_labsx · 2026-08-11 · 6 points · 1 comments
https://www.boundlessintuition.com/blog/dirac-perfect-score-imo-2026
By bi_labsx · 6 points · 1 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews