Artificial intelligence is mastering the kinds of projects that have long helped to build the careers of young mathematicians ...

A week after OpenAI made headlines with an A.I.-generated proof, a new “declaration” by 16 experts raises concerns that the ...

Over the weekend, Neel Somani, who is a software engineer, former quant researcher, and a startup founder, was testing the math skills of OpenAI’s new model when he made an unexpected discovery. After ...

Last week, OpenAI shocked the mathematical community by revealing that one of its internal artificial intelligence (AI) ...

Artificial intelligence built by OpenAI has cracked a decades-old conjecture by Paul Erdős, which mathematicians have hailed ...

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

A group of researchers have proposed rules to prevent artificial intelligence from overpowering humans in math ...

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

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

Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal ...

OpenAI announced this week that one of its general-purpose reasoning models made a breakthrough that has grabbed the attention of elite mathematicians.