Google DeepMind's AlphaProof Nexus solved 9 open Erdős problems and proved 44 OEIS conjectures using AI-driven formal ...

OpenAI says an AI reasoning model disproved an 80-year-old Erdős geometry conjecture, raising new questions about AI’s role ...

An 80-year-old challenge in geometry has been cracked by mathematicians working for the tech firm Open AI using a single prompt from an AI chatbot. The company has not revealed all the precise details ...

The reading initiative will scale up to high school, and the math initiative will scale down to elementary school, the mayor ...

On May 20, OpenAI said an internal reasoning model had produced a counterexample to Paul Erdős’s 1946 unit distance ...

A general-purpose reasoning model, not a math-trained system, produced a new family of point configurations that broke Paul ...

A grade-school math problem has stumped people. Can you solve the equation?

A 23‑year‑old amateur maths enthusiast, Liam Price, used ChatGPT‑5.4 Pro to solve one of Erdős’s long‑standing “primitive set” problems, which had remained unresolved since the early 1960s.

Add Popular Science (opens in a new tab) More information Adding us as a Preferred Source in Google by using this link indicates that you would like to see more of our content in Google News results.

Every year, the countries competing in the International Mathematical Olympiad arrive with a booklet of their best, most original problems. Those booklets get shared among delegations, then quietly ...

Kendra Pierre-Louis: For Scientific American’s Science Quickly, I’m Kendra Pierre-Louis, in for Rachel Feltman. In 1997, Deep Blue, a supercomputer built by IBM, did the unexpected: it defeated chess ...

Axiom Math is giving away a powerful new AI tool. But it remains to be seen if it speeds up research as much as the company hopes. Axiom Math, a startup based in Palo Alto, California, has released a ...