How can you have a proof without proving anything? Mathematicians found a way and, in the process, came to blows over it – ...

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

Dylan Kane likes his math curriculum. But there’s one important piece missing, he says. The 7th grade math teacher in Leadville, Colo., uses a program that teaches math skills through real-world ...

Taika Waititi’s Sony Pictures adaptation of Ishiguro’s novel hits theaters October 23, 2026, and every technology the book imagined is real. Vision Transformers process images as Klara does — in ...

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

Winton argues Starlink's 105% subscriber growth to 10.3 million users alone justifies SpaceX's $2 trillion IPO valuation without counting any AI upside. Each Starship launch adds 60 terabits per ...

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