Unverified70% confidenceEventExact time
Reports on Hacker News and other tech communities claim that an internal OpenAI model codenamed 'Astra' solved 10 major open problems in mathematics and computer science
1
Sources
70%
Confidence
Short-term (~14 days)
Relevance
8/2/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedOpenAI once conducted internal experiments with Codex, with the goal of having humans write no code by hand and only be responsible for architectural design, while leaving all coding to agents.65% similarUnverifiedOpenAI released a 249-page research collection claiming that an internal version of its next-generation model family, Astra, has achieved ten major breakthroughs in mathematics and theoretical computer science.62% similarUnverifiedOpenAI and Anthropic have released models with computer-use capabilities, such as Anthropic Computer Use and OpenAI Operator.62% similarUnverifiedThrough large-scale core dump analysis, OpenAI's engineering team located a hardware failure and discovered a software bug that had been lurking for 18 years.61% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/680319API
curl https://kongchang.com/api/v1/knowledge/claims/680319MCP
get_claim(id=680319)