good workflow 

prompt r1-preview -> refine
copy all reasoning traces to claude -> prompt again
copy output and original prompt to o1-preview -> verify

This essentially solves every problem I've thrown at it from linguistic to mathematic.