The quest to make mathematics rigorous has a long and spotty history — one mathematicians can learn from as they push to ...

New research has found ChatGPT-5.2 can generate original mathematical proofs, introducing “vibe-proving” as a new AI ...

DeepMind’s AlphaProof system solved four out of six problems at the 2024 International Mathematical Olympiad, generating formally verified proofs through reinforcement learning trained on millions of ...

A few years ago, ChatGPT couldn’t do simple arithmetic. Now, some experts say that AI could make mathematicians obsolete.

In March 2025, mathematician Daniel Litt made a bet. Despite the march of progress of artificial intelligence in many fields, he believed his subject was safe, wagering with a colleague that there was ...

In the ongoing campaign by artificial intelligence companies to take over pure mathematics, another round is commencing. The team behind First Proof, an effort to benchmark the ability of large ...

One of the greatest mysteries of modern physics, the "black hole information paradox," might have finally found an elegant ...

Paul Erdős spent decades wandering from city to city with almost no permanent home, no routine that looked normal, and no ...

Technology founder and quantitative researcher Neel Somani has spent his career grappling with a deceptively simple question: How can researchers prove that complex systems behave the way they are ...

It’s amazing! 🥰🥰” When I searched for it again, the ad had been taken down; the next time I saw it was as an exhibit in a ...

For decades, scientists have tried and failed to explain how the force that binds the heart of atoms together really works.

Every student suffers from “Swiss-cheese gaps” in their knowledge, Sal Khan, the founder of Khan Academy and an evangelist for how tech and tutoring can enhance learning, once told me. Yet finding and ...