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

There are more specialized models that would do better, e.g. https://ai.facebook.com/blog/ai-math-theorem-proving/ 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"