aiqbench analysis
OpenAI's Astra model demonstrates significant progress in formal mathematics by solving ten long-standing problems, though human verification via Lean remains essential for validation. This development highlights the evolving role of AI as a collaborative partner in academic discovery rather than merely an automated tool. The case also underscores critical questions regarding authorship attribution and responsibility within high-level mathematical research communities.
OpenAI unreleased Astra AI solves 10 maths problems researchers couldnt crack
OpenAI has announced that its next major model lineup, Astra, was able to solve 10 major open problems in mathematics that had seen little or no progress for at least a decade. The ChatGPT maker says these problems spanned various fields, including geometry, coding theory, group theory, quantum computing, cryptography…
Excerpt shown under the publisher's RSS terms · 50 words · full text and figures are on the publisher's site
Related coverage
[AINews] OpenAI reports Navier-Stokes singularity find in 88 hours using Astra-next, roughly 10,000 agents and 130B tokens (>$40M), a contender for second ever Millennium Prize awarded
Latent Space · Sep 9, 2026
[AINews] not much happened today
Latent Space · Sep 18, 2026
[AINews] Quasi-Riemann-Hypothesis: OpenAI publishes 722 math papers solving 90 of the top 500 open math problems; “the most significant moment” in >100 years of mathematics
Latent Space · Oct 7, 2026
All the drama around AI’s takeover of mathematics
The Verge · Oct 5, 2026