OpenAI just used its new large language model GPT-5.6 Sol to solve a math problem that humans have struggled with for more than a half-century. And all it took was telling the artificial ...

Artificial intelligence is triggering a foundational crisis in mathematics by shifting the field from a shortage of proofs to an overwhelming abundance of them, according to 2006 Fields Medal winner ...

The following is an extract from our Lost in Space-Time newsletter. Each month, we hand over the keyboard to a physicist or two to tell you about fascinating ideas from their corner of the universe.

Despite multiple conferences dedicated to explicating Mochizuki’s proof, number theorists have struggled to come to grips with its underlying ideas. His series of papers, which total more than 500 ...

In an episode of the cartoon, a machine lets characters swap bodies, but they can’t switch back with the same person. Math ...