AIMO 3: AI Mathematical Olympiad Progress Prize 3

Comprising mathematical competition problems specifically curated for the third progress prize of the AI Mathematical Olympiad (AIMO). It provides a benchmark for evaluating the reasoning and problem-solving capabilities of AI models in the context of high-level mathematics.