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

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

Company says work on Paul Erdős planar unit distance problem shows advance in AI reasoning OpenAI has claimed a further advance in AI reasoning after its technology successfully tackled an 80-year-old ...

An 80-year-old challenge in geometry has been cracked by an artificial-intelligence chatbot after a single prompt from mathematicians at the technology firm OpenAI. The company, based in San Francisco ...

For decades, some criminal cases seemed destined to remain forever shrouded in mystery. Files gathering dust in evidence lockers, families left without answers, and killers walking free — these are ...

An 80-year-old maths conjecture that has eluded the world’s greatest mathematicians has been cracked by an artificial intelligence model built by OpenAI. The result has stunned experts and is being ...

A famed physicist’s scribbles reveal the answer to a quintessential dilemma: When dining out, is it better to stick with an old favorite, or try something new? Nobel Prize–winning physicist Richard ...