A group of 25 Fields Medalists, including myself, have made a joint declaration on Math and AI: mathandai.org . We welcome additional signatories. See also this article in the Economist announcing the declaration: www.economist.com/science-and-...

Some initial thoughts, and a complicated mix of feelings. Wow. I mean, Erdos problems are cool (I genuinely mean that), I didn't know about the Jacobian conjecture before it got disproved. But this newest batch from OpenAI hits home in a way the previous announcements did not.

We're pleased to announce the key dates for QIP 2027, as follows (refer to the website qipconference.org/2027/ for up-to-date information). We look forward to your participation!

Since September I've been working with an international group to develop what we hope can be a response from the mathematics community to artificial intelligence in maths. The Leiden Declaration is now posted and open for signatures: https://leidendeclaration.ai/ #LeidenDeclaration

Leiden Declaration on Artificial Intelligence and Mathematics

This declaration calls for action to address the challenges posed by the use of artificial intelligence within mathematics research.

leidendeclaration.ai

Henry Yuen went into computer science to design video games, but he ended up studying the theoretical foundations of quantum computing. "Looking back, I couldn't have predicted any of the twists and turns that my interests have taken," he said.

A New Complexity Theory for the Quantum Age | Quanta Magazine

Henry Yuen is developing a new mathematical language to describe problems whose inputs and outputs aren’t ordinary numbers.

quantamagazine.org

Now in one place, my sixty favorite theorems covering the six decades of computational complexity. blog.computationalco...