Unverified50% confidenceFactExact time
OpenAI's announcement states that after hearing rumors of a major breakthrough on September 1, it launched its attempt, found the proof in approximately 88 hours, and subsequently spent another 17 hours on formalization.
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 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.79% similarUnverifiedRedis founder Antirez (Salvatore Sanfilippi) publicly stated that work that used to take weeks can now be done in a few hours with AI, and he used Claude Code to fix a TCP timing bug in Redis tests.62% similarUnverifiedOpenAI API的缓存时间约为1小时61% similarUnverifiedOpenAI used to release a new model approximately every 15 months; that cycle has now shortened to about 6 weeks.61% similarUnverifiedThe 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.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)