OpenAI IMO 2025 Proofs This repository hosts the proofs produced by our experimental reasoning LLM during its evaluation on the 2025 International Math Olympiad.