When the Leiden Declaration on Artificial Intelligence and Mathematics went live on 2 June 2026, things moved quickly. The ...
Number theorist Andrew Granville on what mathematics really is — and why objectivity is never quite within reach. In 2012, the mathematician Shinichi Mochizuki claimed he had solved the abc conjecture ...