30 SEP 2026 / MATHEMATICS
Checking is not understanding.
A proof can tell us a claim is true without showing why. With AI, I would keep two goals separate: checking a theorem and understanding it.
The longer version ↗THE UNFINISHED ARGUMENT
THE UNFINISHED ARGUMENT
30 SEP 2026 / MATHEMATICS
A proof can tell us a claim is true without showing why. With AI, I would keep two goals separate: checking a theorem and understanding it.
The longer version ↗