The reading room is loading. Declarations, statements, viewpoints, films and voices to follow will appear here.
Mathematics makes modern AI possible. AI is revolutionising mathematics.
The two storylines are intertwined. The next chapters need critical judgement, conversation across communities and more mathematics.
Understanding the history: 90 years. 40 milestones. From Turing to today.
A personal perspective. Have I missed something? Propose a milestone.
Hearing diverse views: statements, letters, essays, films and more.
A personal reading list. Know something that belongs here? Propose a resource.
The toolkit: models, provers and tools for doing mathematics with AI.
A personal toolset, first created to inform myself. Tools change fast; each entry says when it was last checked.
At true scale: ninety years of ideas, then 2026. Click to move along the timeline.
Loading the reading room…
A statement, essay, film, podcast or post that belongs here? Send the link with a line on why it matters.
Only you and the page’s editors can see your proposals.