The math world is losing its mind over the new solution to an Erdős problem. This is what AI found, how we missed it—and why it matters.

OpenAI makes big splash with AI finding math problem breakthrough. Real lesson is to use AI to find counterexamples. An AI Insider analysis and scoop.

Whenever I get coffee with a mathematician, I always ask which of the seven Millennium Problems they think will be next to ...

The closest the field has come to solving the planar unit distance problem, first proposed in the 1940s, was in 1984. Now, OpenAI claims an internal model has cracked the puzzle.

The dual agent AI system autonomously solved Anderson's conjecture from 2014 Rethlas explores problem-solving strategies like a human mathematician would Archon transforms potential proofs into ...

AI solved a math problem that stumped experts for 80 years, revealing deeper lessons about human cognition, focus, and ...

OpenAI said one of its internal models had made a breakthrough with a challenge first posed by Hungarian mathematician Paul ...

Google DeepMind said AlphaProof Nexus solved nine open Erdős problems using Lean-verified proofs. The claim has sharpened debate over hallucinations in AI maths and what counts as real progress ...

OpenAI has said that one of its unreleased AI reasoning models has solved a long-standing mathematics problem first proposed by Paul Erdos in 1946.

With automated proof-checkers, a problem can be broken up into small chunks, solved bit-by-bit, then reassembled with ...

Amateur mathematicians are using artificial intelligence chatbots to solve long-standing problems, in a move that has taken professionals by surprise. While the problems in question aren’t the most ...

AI plays a supportive educational role for nearly 70 percent of top-performing math students asked about their study habits, according to a new survey. The survey, conducted by Philadelphia-based ...