it does change the scale of solution from "solved some navier stokes" to "put the cherry on top"

having a result means the math can keep moving forward, and having openai and anthropic train against how mathematicians use their models should let math continue to move faster, and the rest of us get to benefit.

I think these traces however should be public domain and publicly available, since they are basically university work