OpenAI claiming gold medal standard at IMO 2025
10 months ago
- #Math Olympiad
- #LLM
- #Proofs
- The repository contains proofs generated by an experimental reasoning LLM.
- The proofs were produced during the model's evaluation on the 2025 International Math Olympiad.
- The repository has 11 forks and lacks a description, website, or topics.
- No releases or packages have been published in this repository.