Sketchpad, the film

The model, the sheet, and the finite check behind exact arithmetic. The certificate covers the model’s steps; the runtime and the translation of word problems remain outside it. Demo footage shows recorded runs of the published 0.8B model.

Narration is an AI-generated voice from OpenAI. Music and animation are made in code; the figures and results come from the paper.