A big game in a small package, and an absolute masterpiece of an adventure.

The math world is losing its mind over the new solution to an Erdős problem. This is what AI found, how we missed it—and why ...

OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who ...

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.

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

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

P vs. NP asks: are these two classes actually the same? If P = NP, then every “hard” problem is secretly fast to solve; we ...

Flex your math muscles with this weekend’s brain teaser. Play now ...

AI makes a major breakthrough in a math problem that had stumped experts for decades by Paul Arnold, Phys.org edited by Gaby Clark, reviewed by Robert Egan Editors' notes ...

Penn researchers have developed a smarter AI method for solving notoriously difficult inverse equations, which help scientists uncover hidden causes behind observable effects. By introducing ...