A seemingly simple set of rules kicks off a kind of mathematical magic trick, which has kept great minds busy since the 1930s ...

In 1946, the mathematician Paul Erdős posed the unit distance problem—and suggested a winning strategy. An A.I. model has now ...

Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal ...

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in ...

An experiment with 2,520 participants backs Richard Feynman’s answer to every diner’s dilemma: do I want to try something new? In a scene that could have easily featured in an episode of the US ...

From hushed concentration to bursts of excitement, the 41st annual Math Super Bowl brought fierce academic competition to the Page Youth Center on Wednesday, May 27, 2026.

AI math proof verification reached a new frontier as DeepMind’s AlphaProof Nexus solved nine open Erdős research problems with Lean-verified proofs, some unsolved for 56 years. The May 2026 Science Ne ...

OpenAI claims its model solved a famous geometry problem that has eluded the world’s greatest mathematicians for 80 years — a breakthrough hailed as evidence of the bot’s creativity and “intuition.” ...

Experts in the field are opening themselves up to partnering with AI. Thomas Bloom said it can help fully explore the ...

Little progress had been made in solving Ramsey problems since the 1930s. Now, researchers have found the answer to r(4,t), a longstanding Ramsey problem that has perplexed the math world for decades.

One of the biggest barriers for secondary English learners in math is not computation, but language. The subject’s complex ...