待验证70% 置信事件精确时间

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

来源数

70%

置信度

短期 (~14 天)

时效性

2026/8/2

首次发现

来源

涉及实体

OpenAIcompany Astramodel Hacker Newsproduct

相关事实

待验证OpenAI曾用Codex做内部实验，目标是人类不手写任何代码只负责架构设计，编码全部交给智能体完成65% 相似待验证OpenAI发布了一份长达249页的研究合集，宣称其下一代模型家族Astra的内部版本在数学与理论计算机科学领域取得了十项重大进展62% 相似待验证OpenAI、Anthropic已推出具备电脑操作能力的模型，如Anthropic Computer Use和OpenAI Operator62% 相似待验证OpenAI工程团队通过大规模核心转储分析，定位到一处硬件故障并发现了一个潜伏长达18年的软件Bug61% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/680319

API

curl https://kongchang.com/api/v1/knowledge/claims/680319

MCP

get_claim(id=680319)