Reasoning models can solve well-isolated problems, but are not very good at devising novel conceptual frameworks that advance mathematics.

“And so, you know, they can do that very well, but they're not very good at coming up with novel conceptual schemes that are useful for making progress in mathematics.”

“you know, it's able to solve these problems that you can kind of neatly excise out of some very messy context.”