Concept classroom

Build the mental models that make AI news useful.

Foundations first, deeper paths when you want them. Free members can explore three lessons every month; all-access members can read the complete library.

foundations · Free member

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.

8 minute lessonEnter →