The mathematical reasoning model performed as well as humans at prestigious international mathematics competitions.