Open AI have the best math models for sure, but it was Claude Fable that found the Jacobian Conjecture counter example. All the frontier models are much better mathematicians than even a year ago.