OpenAI's Astra model claims advances on ten open math and CS problems
OpenAI reported that an internal version of its next major model, Astra, produced solutions to ten mathematical and theoretical computer science problems described as having seen no prior progress. Commentators framed the results around a 'verifier bottleneck,' arguing recursive self-improvement is limited by verification rather than compute.
Frontier capabilities research with concrete claims; sparked verifier-bottleneck debate.