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

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

The last dimension of Keller's conjecture has been proven using a computer algorithm. The conjecture involves the way hypercubes in different dimensions share sides when tiled. The proof is ...

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

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

Bakuage Co., Ltd. headquartered in Shibuya, Tokyo, announced on July 7, 2021, that it is offering a prize of 120 million Japanese yen (*) to anyone who has revealed the truth of the Collatz conjecture ...

A Rochester Institute of Technology doctoral student was part of a team of researchers that settled a 90-year-old math problem called Keller’s conjecture. David Narváez, who studies computing and ...