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

Physicist Richard Feynman turned a lunch dilemma into a math problem. Researchers finally cracked his notes and found people ...

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

A week after OpenAI made headlines with an A.I.-generated proof, a new “declaration” by 16 experts raises concerns that the ...

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

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

By encoding mathematical statements into numbers, mathematician Kurt Gödel used ordinary arithmetic to check whether a ...

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's AI model solved the famous unit distance problem, a question that had challenged mathematicians since 1946 ...

UMass Lowell faculty member to win a prestigious yearlong research fellowship at the Radcliffe Institute for Advanced Study ...

Get out your timer and number two pencil to see if your arithmetic skills from grade school are still intact.

The test, taken by final-year students at each level, measures proficiency in mathematics and Indonesian, with English and two elective subjects added for high schoolers. The results of the exams ...