Difference between calculators and LLMs: calculators are 99.9% right 😀 I think LLMs are super interesting but right now they can only be trusted when their outputs is formally verified. At least that's how I use them (lately, generating tests for new compiler constructs).