In 1946, the mathematician Paul Erdős posed the unit distance problem—and suggested a winning strategy. An A.I. model has now ...
Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal ...
SpaceX’s $1.75T IPO bid after absorbing xAI raises red flags: big GAAP losses, cash burn, rich multiples, and Tesla spillover ...
Students in Independence Local Schools have had a successful year in their math studies, thanks to a new curriculum.
In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in ...
AI math proof verification reached a new frontier as DeepMind’s AlphaProof Nexus solved nine open Erdős research problems with Lean-verified proofs, some unsolved for 56 years. The May 2026 Science Ne ...
OpenAI claims its model solved a famous geometry problem that has eluded the world’s greatest mathematicians for 80 years — a breakthrough hailed as evidence of the bot’s creativity and “intuition.” ...
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 ...
OpenAI has once again made a big claim in the world of AI and mathematics. The company says that one of its latest AI reasoning models has successfully solved a famous geometry problem that remained ...
It’s said that AI could soon be coming for the jobs of artists, lawyers, and software engineers. But it might now also be threatening a role at the height of academia – are pure mathematicians safe?
Some results have been hidden because they may be inaccessible to you
Show inaccessible results