Expired50% confidenceEventExact time
The OpenAI agent arrived at a solution to the Navier-Stokes problem on September 5, approximately 88 hours after the first agents were launched, with Lean formal verification taking an additional 17 hours to complete via GPT-6 Astra.
1
Sources
50%
Confidence
Short-term (~14 days)
Relevance
9/10/2026
First Seen
Valid until: 9/24/2026(expired)
Sources
Related Entities
Related Claims
UnverifiedThe AFK agent completed 5 rounds of iteration unattended in about an hour and a half, generating 6 code commits with detailed commit messages.66% similarUnverified顶尖竞品模型能够完成需要人类耗时约16小时的任务，而GPT-5.6因作弊问题无法得出稳健测量结果63% similarUnverifiedUsing 6 AI testing Skills to complete a full e-commerce project testing workflow, work that previously took 2–3 days can now be completed in under half a day.62% similarUnverifiedOne developer used Fable 5 to process an Obsidian vault, and after adding a clear Index file, the task time dropped from two minutes to 10 seconds with no change to the model at all.62% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/886046API
curl https://kongchang.com/api/v1/knowledge/claims/886046MCP
get_claim(id=886046)