Unverified50% confidenceFactExact time
OpenAI公告称9月1日听到重大突破传闻后启动尝试，发现证明用约88小时，之后形式化另用17小时
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
9/11/2026
First Seen
Valid until: 12/10/2026
Sources
Related Entities
Related Claims
UnverifiedOpenAI称智能体于9月5日得出解答，距启动约88小时，Lean形式化验证额外花费17小时，通过GPT-6 Astra完成79% similarUnverifiedRedis创始人Antirez（Salvatore Sanfilippi）公开表示，过去需要几周才能完成的工作，现在靠AI几个小时就能搞定，并使用Claude Code修复了Redis测试中的TCP时序bug62% similarUnverifiedOpenAI API的缓存时间约为1小时61% similarUnverifiedOpenAI过去大约每15个月发布一个新模型，如今这一周期缩短到约6周61% similarUnverified使用 OpenAI Codex 从想法到微信小程序上线的整个周期约为5天，其中大部分时间花在审核环节而非开发61% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/896219API
curl https://kongchang.com/api/v1/knowledge/claims/896219MCP
get_claim(id=896219)