Olle Häggström is a pure mathematician. Today, he joined us to tell the story of how his entire field of mathematics was essentially conquered by large language models in a short period of time, and to discuss the lessons about AI safety that he drew from this experience. This was a challenging and interesting conversation and, I think, a really compelling listen if you are not yet convinced of the imminency of AGI (or ASI).