A new registry cataloguing scientific results produced with AI lists 19 findings as of July 22, 2026, including a counterexample to the Dinitz–Garg–Goemans conjecture by GPT-5.6 Pro and a formally ver…
Three startups building AI mathematicians—Harmonic, Axiom Math, and Math Inc—raised over $580 million in the last twelve months, with Harmonic at a $1.45 billion valuation and Axiom Math jumping from …
OpenAI leads an informal scoreboard tracking AI-solved math problems with 234 attributed to its GPT and Codex models, while Anthropic's Claude follows at 57, according to the Vibe Mathed tracker. The …
OpenAI announced on August 1 that its new model Astra solved ten open math problems spanning sphere packing, group theory, complexity theory, and extremal combinatorics, with total inference costs of …
Harmonic, the AI startup co-founded by Robinhood CEO Vlad Tenev and Tudor Achim, announced on July 28 that its reasoning model Aristotle achieved gold medal-level performance on the 2025 International…
A small group of AI leaders—including Dario Amodei, Sam Altman, Mustafa Suleyman, and Elon Musk—warns of mass job displacement from AI while promising abundance and redistribution, but critics argue t…