Solve national-level math challenges using artificial intelligence models