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

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.

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