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

A Python Swallowed a Full-Sized Deer and the Moment Left Researchers Speechless ...

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

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

Mathematicians are stunned at the progress AI is making in solving advanced problems, leaving some questioning whether there ...

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

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

News that large language models (LLM) have made major advances in solving Erdős problems – a set of problems formulated by the renowned 20 th-century mathematician Paul Erdős – has created an ...

For nearly 80 years, mathematicians have struggled to solve a classic geometry puzzle first posed by Paul Erdős in 1946: the ...

A general-purpose reasoning model, not a math-trained system, produced a new family of point configurations that broke Paul ...

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.