Hacker News new | ask | show | jobs
AxiomProver at IMO 2026 (perfect score) (github.com)
1 points by chaoxu 12 days ago