foundations · 8 minute lesson

Machine-checked proof

When an AI system claims a mathematical result, the useful question is not how confident it sounds. It is whether anybody else can check it. Proof assistants make that possible, and they cover less than most people assume.

The concept classroom is free to join. Sign in with an email link to read up to three lessons every month.