Comment by pnin

As far as I can tell, o1 is the best model for anything to do with mathematics, by a solid margin.