AxiomProver at IMO 2026 (perfect score)

Here's a brief summary of the AxiomProver at IMO 2026 project: The AxiomProver at IMO 2026 is an open-source project that achieved a perfect score at the Intern