待验证50% 置信事件精确时间

OpenAI的纳维-斯托克斯证明据称由内部未发布模型完成，运行时并行使用约1万个AI智能体，耗时88小时，产出一份166页手稿并发布Lean形式化验证

1

来源数

50%

置信度

中期 (~90 天)

时效性

2026/9/11

首次发现

有效期至：2026/12/10

来源

OpenAI称攻克纳维-斯托克斯方程，署名争议与技术反驳同日爆发

涉及实体

OpenAIcompany Leanproduct

相关事实

待验证OpenAI宣布约一万个AI代理花费大约88小时，找到了一份与纳维-斯托克斯方程相关难题的证明78% 相似待验证文章中的Deep Research分析报告由系统自动生成，耗时约9分钟，引用了来自OpenAI官网和学术论文的大量资料68% 相似待验证OpenAI智能体在9月5日得出纳维-斯托克斯问题的解答，距首批智能体启动约88小时，Lean形式化验证额外花费17小时通过GPT-6 Astra完成67% 相似待验证作者的AI Agent在一次「添加20道题」的操作中连续重试9轮，烧掉约15万token，最终失败66% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/896283

API

curl https://kongchang.com/api/v1/knowledge/claims/896283

MCP

get_claim(id=896283)