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

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

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.

OpenAI's GPT-5.4 Pro has solved an open math problem unsolved since 2019, with Epoch AI independently verifying the first AI solution on FrontierMath.