Does someone have experiences with using o1-preview for mathematics? A while ago I tried to use GPT-4o and Claude Sonnet for certain algebraic questions related

Does someone have experiences with using o1-preview for mathematics? A while ago I tried to use GPT-4o and Claude Sonnet for certain algebraic questions related to probability theory. The models did help significantly (at least relative to my rather limited ability), though they also often produced wrong results and struggled to make progress on harder questions.