Can you help me out? I’ve been essentially parroting this argument, and been challenged that “LLMs can create novel mathematical proofs”. I’d thought that those proofs were being created by other forms of AI, *not* LLMs.
What’s the story there? Are novel proofs not ‘surprising’ in this sense?