Choose how you want to continue.
Thoughts about the Leiden Declaration
Summary
The author reflects on a stimulating workshop at the Lorentz Centre in Leiden, focusing on discussions about mathematics and AI with a diverse group of experts. The post highlights notable insights and experiences shared during the event.
MORE POSTS LIKE THIS
AI model helps physics Nobel laureate out of a decade-old mathematical jam
Physicsworld ·
Aug 7, 2026
OpenAI's Unreleased Model Astra Solves Ten Major Open Mathematics Problems
Thezvi Substack ·
Aug 3, 2026
Would Erdos have been happy with the resolution of the Erdos Unit Distance Problem? How to find out?
Blog Computationalcomplexity ·
Jul 26, 2026
Formally proving a calculation with Claude and Lean
John Cook ·
Jun 10, 2026
Dispatches from the possibly last days of human relevance
Scott Aaronson ·
May 28, 2026
An AI solution to an 80‑year‑old Erdős problem
Mappingignorance ·
May 27, 2026
AUTHOR