4 ms·
I would imagine that in the future AI will be doing proofs in Lean or whatever the successor to it, which gives you a pretty good confidence it’s correct.
by skipkey 3mo ago
I would imagine that in the future AI will be doing proofs in Lean or whatever the successor to it, which gives you a pretty good confidence it’s correct.
- bckgrndrdtn 3mo agoThe future is now. See the article under discussion for some examples.