> i.e. whether frontier AI models aren’t generating or can’t generate new mathematical ideas. [...] I give basically zero credence to the idea that AIs are incapable of this because of some intrinsic feature of how LLMs work.

I also believe there are limitations of LLMs, but not necessarily where people think. I won't expect LLMs to be creative solvers until they can tell a novel funny joke with any recognition/consistency.