← Course home

Computers in Mathematics, 1956–2026

Scroll to zoom · drag to move · hover or focus a milestone for details

100%
Loading the timeline…
Automated proof Formal mathematics AI discovery Reasoning benchmark