> Why not? If mathematicians in the field cannot understand the papers, but tools at our disposal can (...)

How can you tell?

Especially for tools built to tell us we’re right and happily pretend to solve problems they didn’t. I think the OpenAI “revert” of their math problems speaks volumes of how volatile this can be.