OpenAI Reports GPT-6 Astra Results on 10 Long-Standing Math Problems

OpenAI says its GPT-6 Astra model has produced results on ten long-standing mathematics and theoretical computer-science problems, while Anthropic and Google report parallel advances in AI-assisted mathematics. The announcements point to a shift from models answering supplied exercises toward systems that generate, test and formalize research ideas, although the work still depends on human scrutiny.