After 30 months of fast-paced innovation in quantum algorithms, six research groups are hoping to hit paydirt. But there can ...

Recently, I’ve spent a lot of time using AI to work on Erdős problems. The work itself is technical, but the lesson it ...

For 20 years, this computational linguistics competition has inspired new generations of innovators in AI and language ...

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

Gerd Faltings proved a conjecture that had been unsolved for six decades, using connections between numbers and geometry.

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 ...

Looking for help with today's New York Times Pips? We'll walk you through today's puzzle and help you match dominoes to tiles.

New benchmark study results show leading AI models, including ChatGPT, Claude, and Gemini, still lag humans in visual math reasoning.