Google DeepMind's Gemini agents found proofs for open math problems, including Erdős problems unsolved for 56 years, at low ...

In May 2025, a claim (archived) circulated online that the tech entrepreneur and former Trump adviser Elon Musk solved an "unsolvable" math problem after a Harvard professor called him "rich but dumb.

On October 2, 2026, Meta released six papers co-authored by its AI, "Muse Spark," and mathematicians. It claims that five of ...

Mathematicians say they're still unpacking OpenAI's solution for the Navier-Stokes problems because the AI's proof is nearly ...

OpenAI claimed on the 21st (local time) that its internal artificial intelligence (AI) model has solved over 100 unsolved ...

The company’s announcement is the most dramatic sign yet that artificial intelligence is fundamentally transforming the field of higher mathematics.

Artificial intelligence has been inching toward genuine mathematical discovery for years, but a claim from OpenAI in early August 2026 pushed the story into new territory. The company said its latest ...

Why would you want to ruin your career?” an OpenAI exec told him. “If you don’t want me to be nice, then I don’t have to be nice.” ...

AI tools helped solve around 100 extant problems left behind by one of the 20th century's greatest mathematicians. Hungarian Paul Erdős proposed 1,179 conjectures — unproved math statements, such as ...

Math Precision Analysis ReportScope: 2021–2025 1st Round Entrance Exam Math (5 years, 110 questions total) / Combined with ...

Five years ago, mathematicians Dawei Chen and Quentin Gendron were trying to untangle a difficult area of algebraic geometry involving differentials, elements of calculus used to measure distance ...