Hacker News new | ask | show | jobs
by teiferer 28 days ago
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?