OpenAI AI Finds Counterexample To Decades-Old Math Theory

OpenAI's AI helped overturn a longstanding math conjecture by finding a counterexample, highlighting a powerful new way to ...
The Irish Times

Goldbach’s conjecture: if it’s unprovable, it must be true

The starting point for rigorous reasoning in mathematics is a system of axioms. An axiom is a statement that is assumed, without demonstration, to be true. It is usually self-evident, for example, ...

An OpenAI Model ‘Disproved’ a Famous Math Conjecture. This Mathematician Couldn’t Leave It Alone

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

The Ramanujan Machine: Researchers develop 'conjecture generator'

Using AI and computer automation, researchers have developed a 'conjecture generator' that creates mathematical conjectures, which are considered to be the starting point for developing mathematical ...
Quanta Magazine

Two Students Unravel a Widely Believed Math Conjecture

Mathematicians thought they were on the cusp of proving a conjecture about the ancient structures known as Apollonian circles. But a summer project would lead to its downfall. Summer Haag and Clyde ...
The Conversation

Millennium Prize: the Hodge Conjecture

MILLENNIUM PRIZE SERIES: The Millennium Prize Problems are seven mathematics problems laid out by the Clay Mathematics Institute in 2000. They’re not easy – a correct solution to any one results in a ...