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.

Elementary math isn't taught the same way it was when we were kids. Here's how to help your child succeed with their math ...

Little progress had been made in solving Ramsey problems since the 1930s. Now, researchers have found the answer to r(4,t), a longstanding Ramsey problem that has perplexed the math world for decades.

The verdict is in. Study after study has revealed that artificial intelligence is adversely affecting students’ ability to ...

The puzzle poses a deceptively simple question that boils down to: How many pairs of dots on a piece of paper can be the same ...

OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who ...

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

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

Google DeepMind's AlphaProof Nexus solved nine longstanding Erdős problems with Lean-verified proofs, sparking debates about AI progress and its limitations.

Global math archive: MIT and collaborators launched MathNet, the largest Olympiad-level problem collection, spanning 47 ...

Axiom Math says its AxiomProver AI system has solved four long-standing math problems and achieved peer-reviewed publication, ...