待验证50% 置信事实精确时间
OpenAI公告称9月1日听到重大突破传闻后启动尝试，发现证明用约88小时，之后形式化另用17小时
1
来源数
50%
置信度
中期 (~90 天)
时效性
2026/9/11
首次发现
有效期至：2026/12/10
来源
涉及实体
相关事实
待验证OpenAI称智能体于9月5日得出解答，距启动约88小时，Lean形式化验证额外花费17小时，通过GPT-6 Astra完成79% 相似待验证Redis创始人Antirez（Salvatore Sanfilippi）公开表示，过去需要几周才能完成的工作，现在靠AI几个小时就能搞定，并使用Claude Code修复了Redis测试中的TCP时序bug62% 相似待验证OpenAI API的缓存时间约为1小时61% 相似待验证OpenAI过去大约每15个月发布一个新模型，如今这一周期缩短到约6周61% 相似待验证使用 OpenAI Codex 从想法到微信小程序上线的整个周期约为5天，其中大部分时间花在审核环节而非开发61% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/896219API
curl https://kongchang.com/api/v1/knowledge/claims/896219MCP
get_claim(id=896219)