over time you'll need to check it less and less. do we still check if calculators compute large sums properly?
Calculators don’t do any creative work, building products is creative. Apples and oranges.
Calculators have overflow and underflow conditions, among others, that are limitations that don't exist in the actual math. Those who to understand the limitations of your abstractions (which is what the AI bros who keep bring up calculator argument are demonstrating) will be screwed when the abstraction breaks down and they don't know what to do or even have an inkling of what the nature of the breakdown is.
Are calculators now or have they ever been non-deterministic?