The point I was waiting for but never came, so I'll make it here, is: Will LLMs be able to synthesize? Sure they can learn calculi. Lambda, differential, whatnot. But will Claude eventually be able to come up with a genuinely new formalism? A new calculus? Sth that allows us to do things we couldn't do before?