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…
OpenAI previewed its next major model family, tentatively called Astra, on August 1, 2026, by publishing ten machine-checkable proofs of decade-old unsolved math problems, each formalized in Lean 4, i…
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 …
On May 21, 2026, a Google DeepMind AI agent autonomously resolved a 56-year-old open problem in mathematics posed by Paul Erdős and András Sárközy, at an inference cost of a few hundred dollars. The s…
Anthropic released its Mythos AI model to the public, eliminating the distinction between classified military-grade and commercial frontier AI. DeepMind CEO Demis Hassabis advanced his AGI timeline to…