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曾用Codex做内部实验，目标是人类不手写任何代码只负责架构设计，编码全部交给智能体完成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)