Expired50% confidenceEventExact time
OpenAI stated that the agent reached the solution on September 5, approximately 88 hours after initiation, with Lean formal verification taking an additional 17 hours, completed via GPT-6 Astra.
1
Sources
50%
Confidence
Short-term (~14 days)
Relevance
9/10/2026
First Seen
This claim has expired. It is kept for the record and no longer describes the current state.
Valid until: 9/24/2026(expired)
Sources
Related Entities
Related Claims
UnverifiedThe entire cycle from idea to launch of a WeChat Mini Program using OpenAI Codex takes approximately 5 days, with most of the time spent on the review process rather than development.62% similarVerifiedAn executive order requires frontier AI labs such as OpenAI and Anthropic to submit their most capable model versions to government review for up to 30 days before deployment.61% similarUnverifiedAFK agents can consume within a few hours an amount of tokens equivalent to several weeks of interactive use by a human developer.60% similarUnverifiedAgent可以一次性拉取过去7天、30天甚至90天的飞书工作数据进行综合分析，生成复盘报告60% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/888568API
curl https://kongchang.com/api/v1/knowledge/claims/888568MCP
get_claim(id=888568)