For nearly 80 years, mathematicians have struggled to solve a classic geometry puzzle first posed by Paul Erdős in 1946: the planar unit distance problem. The question posed by the legendary Hungarian ...

For nearly 80 years, a famous problem in discrete geometry had challenged mathematicians. All it took was a prompt from an internal OpenAI model to disprove a conjecture made by the late Hungarian ...

Last week, OpenAI shocked the mathematical community by revealing that one of its internal artificial intelligence (AI) models had found a counterexample to a famous conjecture made by legendary ...

OpenAI said one of its internal models had made a breakthrough with a challenge first posed by Hungarian mathematician Paul Erdős in 1946. Experts say this result could indicate that AI is capable of ...

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