Its performance matches the smartest high school mathematicians and is much stronger than the previous state-of-the-art system.