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

OpenAI Astra reportedly solved 10 long-standing math problems dating back to 1946. Mathematicians are now actively debating ...

Thomas Mulligan explores the Millennium Prize Problems, detailing the seven legendary mathematics puzzles that remain unsolved and carry a one-million-dollar reward for their solutions.

OpenAI Astra achieved a major breakthrough by solving 10 complex theoretical math problems, utilizing sub-agents for ...

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

In May 2026, OpenAI released a new math result that sent shock waves throughout the world of mathematical research. A major unsolved problem called the “unit distance conjecture” had just been ...

Some math problems are as old as the wind, experts say and many remain truly unsolved. But a new open source-based site from the American Institute of Mathematics (AIM) looks to help track work done ...

He added that he believed that Astra was a “neurosymbolic LLM with harnesses and tools”, which meant it wasn’t a “pure LLM”. “I imagine that Astra is a neurosymbolic LLM with harnesses and tools, ...