There are more specialized models that would do better, e.g. https://ai.facebook.com/blog/ai-math-theorem-proving/

"neural theorem prover that has solved 10 International Math Olympiad (IMO) problems — 5x more than any previous AI system"