AI Mathematical Olympiad - Progress Prize 1 | Solve national-level math challenges using artificial intelligence models