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

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

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