Features

One-off documentaries about mathematics: the problems, the people who spent years on them, and the arguments they cause. Longer than a lesson, and not tied to the curriculum.

Feature

Navier–Stokes: What OpenAI's 10,000 Agents Actually Proved

OpenAI ran 10,000 agents for 88 hours and published a Navier–Stokes proof. What it actually proved, and what it left completely untouched.

Fluid dynamicsMillennium Prize ProblemsAI

For curriculum material, browse the free KS3 maths video lessons.