This repository is a collection of solutions for International Mathematical Olympiad (IMO) 2024 problems:
- Formalized solutions for problems 1, 2, and 6 from DeepMind-AlphaProof.
- Solutions in natural language for all problems from here.
For an extensive assortment of IMO materials and resources, please explore this comprehensive repository.