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

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

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

OpenAI's AI disproved the Erdős unit distance conjecture, an 80-year-old geometry problem. Days later, Google DeepMind solved ...

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 announced this week that one of its general-purpose reasoning models made a breakthrough that has grabbed the attention of elite mathematicians.

Add Yahoo as a preferred source to see more of our stories on Google. News about AI math problem raises realization that finding counterexamples can be extremely valuable. getty In today’s column, I ...

A chatbot’s result for the 80-year-old “unit distance” conjecture is the first AI proof that would likely be published in math’s top journal if humans had done it alone ...

A long-standing problem in discrete geometry involving how many pairs of points can be exactly one unit apart has been addressed using an artificial intelligence system developed by OpenAI, according ...