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
Formally proving a calculation with Claude and Lean
John Cook ·
Jun 10, 2026
Humans Solve Erdos Problem!!
Blog Computationalcomplexity ·
Jun 7, 2026
AI-led solutions of Erdős problems spark debate over the future of mathematics
Physicsworld ·
May 29, 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