In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...

Google and OpenAI have solved decades-old problems — but the scientific community is beginning to discuss whether limits ...

A timeline of his draft fall and what can be learned from it.

Microscopic black holes could arise from a crystallization of the fabric of spacetime. This idea comes from researchers who ...

OpenAI’s reasoning model just disproved an 80-year-old math conjecture. The unit distance problem, posed by Paul Erdős in 1946, asks: what is the maximum number of unit-distance pairs among n points ...

The full FIA stewards report on Gasly’s two pitlane speeding penalties being rescinded to give the Alpine driver third place ...

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

An OpenAI model disproved the 80-year-old Erdős unit distance conjecture, and Google DeepMind's AlphaProof Nexus solved nine more open problems days later. Together, these AI math breakthroughs mark a ...

In the mid-noughties, when music by the Killers and Franz Ferdinand blared out of every pub and nightclub I passed, I spent my days and nights struggling through a Ph. D.

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

Mathematicians warned against rising tech industry influence in a declaration describing the many challenges that AI poses to ...

Decades ago, Paul Erdős used randomness to illuminate the vast and weird world of networks. Now mathematicians are making his ...