Total: 1
These are notes to accompany my public lecture at the International Congress of Mathematicians, in Philadelphia in July, 2026. The goal is to discuss some developments at the interface of AI and mathematics in the context of the long conversation of mathematics.