OpenAI IMO 2025 Proofs

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

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
README.md		README.md
problem_1.txt		problem_1.txt
problem_2.txt		problem_2.txt
problem_3.txt		problem_3.txt
problem_4.txt		problem_4.txt
problem_5.txt		problem_5.txt

Provide feedback