Read the declaration and add your name.

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

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

Now in one place all of my sixty favorite theorems from the six decades of computational complexity (1965-2024). 2015-2024 Graph Isomorphism...