AxiomProver at IMO 2026 (perfect score) #1 Post by chaoxu » Fri, Jul 17, 2026, 9:53 AM UTC AxiomProver at IMO 2026 (perfect score)github.com