AI Mathematical Olympiad - Progress Prize 3

Who this competition fits

Advanced practitioners who already understand LLM fine-tuning and mathematical reasoning, and want to push the frontier of AI-assisted theorem proving.

From registration to a first submission

1. 01

   Python

2. 02

   LLM fundamentals and inference

3. 03

   mathematical reasoning

4. 04

   GPU training or API-based inference workflow

Before you commit: This competition requires deep expertise in both mathematical reasoning and LLM engineering. The problems are at international olympiad level, and effective solutions demand creative prompting, fine-tuning, or novel inference strategies.