Gerd Faltings shocked mathematicians around the world for his 1983 proof of the Mordell conjecture, which brought together ...

An exclusive conversation with OpenAI’s chief scientist, Jakub Pachocki, about his firm's new grand challenge and the future of AI.

Peter Badge. Mathematics often feels like a collection of isolated islands. Each one operates with its own rules, and building bridges between them is notoriously difficult. Today, the Norwegian ...

First Proof is an effort to see whether LLMs can contribute meaningfully to pure mathematics research. The dust has settled on round one, and the results are surprising ...

After years of creating highly specialized software, researchers used supercomputer clusters to finally solve the "100,000-body problem.