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

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

The sudden resolution of a well-known conjecture highlights the growing adoption of AI as an assistant in high-level mathematics ...

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

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

AI thrives on data but feeding it the right data is harder than it seems. As enterprises scale their AI initiatives, they face the challenge of managing diverse data pipelines, ensuring proximity to ...

The verdict, it seems, is in: artificial intelligence is not about to replace mathematicians. That is the immediate takeaway from the “First Proof” challenge—perhaps the most robust test yet of the ...

At a secret meeting in 2025, some of the world's leading mathematicians gathered to test OpenAI's newest large language model, o4-mini. Experts at the meeting were amazed by how much the model's ...

A long-standing problem in discrete geometry involving how many pairs of points can be exactly one unit apart has been addressed using an artificial intelligence system developed by OpenAI, according ...

This is an updated version of a story first published on May 5, 2024. For many high school students returning to class, it may seem like geometry and trigonometry were created by the Greeks as a form ...