AxiomProver at IMO 2026 (perfect score)https://github.com/AxiomMath/IMO2026 by chaoxu • 6 days ago 1 0 6 days agoGIgithub.com