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

Last month, OpenAI announced that its latest version of ChatGPT had solved a major math problem, one that had stumped experts for 80 years. This was considered among the most important unsolved ...

After 80 years of fruitless struggle by human mathematicians, a major geometry conjecture has at last been solved—via a straightforward query to a chatbot. “No previous AI-generated proof has come ...

Add Yahoo as a preferred source to see more of our stories on Google. AI tools helped solve around 100 extant problems left behind by one of the 20th century’s greatest mathematicians. Hungarian Paul ...

OpenAI’s claim that GPT-5 had solved ten of Paul Erdős’s famous “unsolved” math problems has drawn sharp backlash from across the AI industry, after experts revealed the model merely rediscovered ...

OpenAI claims its new reasoning model has produced an original mathematical proof disproving a famous unsolved conjecture in geometry, which was first posed by Paul Erdős in 1946. If this sounds ...

Some math problems are as old as the wind, experts say and many remain truly unsolved. But a new open source-based site from the American Institute of Mathematics (AIM) looks to help track work done ...