The second batch of “First Proof” problems is meant to evaluate AI’s usefulness for research-level math. The best model got ...

Corca, a startup by Oleg Shevlyagin and Anton Gladkoborodov, raises $7.8M from Nvidia and other investors to innovate math ...

Researchers cracked a 50-year-old math problem scribbled by Richard Feynman over lunch. The equations show that humans are ...

The result is correct but challenges core norms of mathematics: checking proofs, crediting ideas and keeping research open to ...

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

Mathematics Professor James Propp is the first UMass Lowell faculty member to win a prestigious yearlong research fellowship ...

For nearly eight decades, some of the sharpest minds in mathematics stared at a deceptively simple question about dots on a flat surface and couldn’t crack it. An AI just did. OpenAI announced that ...

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

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

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

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