Fifteen-year-old Aarav Lele of JBCN International School, Chembur, has secured a place in Stanford Pre-Collegiate Studies' ...

Clarkson University researchers have developed an artificial intelligence tool that can uncover the mathematical equations ...

AI systems are increasingly helping out with math research, and this is now appearing in relevant data. A chart shared by Jasper ...

We are delighted to announce that Hugo Duminil-Copin is among the four UNIGE laureates to have been awarded an ERC 2025 Advanced Grant. Statistical physics seeks to explain the macroscopic behavior of ...

NVIDIA diffusion language model Nemotron TwoTower achieves 2.42x LLM inference throughput without a full retraining run, ...

Over the past decade, Professor L. Mahadevan's Soft Math Lab at the Harvard John A. Paulson School of Engineering and Applied Sciences (SEAS) has helped establish how the ancient Japanese paper arts ...

For generations, mathematicians have tried and failed to solve an 80-year-old problem. In May, an artificial intelligence (AI) model successfully tackled it. OpenAI, the maker of ChatGPT, said one of ...

Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal model—and what that could mean for mathematics.

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...

OpenAI announced on May 20, 2026, that an internal general-purpose reasoning model had produced a counterexample to Paul Erdős's 1946 unit distance conjecture — a result in discrete geometry that had ...

On May 20, 2026, OpenAI announced that its internal AI model had disproven a long-held prediction regarding the 'unit distance problem,' a central unsolved problem in discrete geometry. The unit ...

After 80 years of fruitless struggle by human mathematicians, a major geometry conjecture has at last been solved—via a straightforward query to a chatbot. “No previous AI-generated proof has come ...