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

一个月前解出纳维-斯托克斯方程动用了约1万个智能体、耗时88小时

1

来源数

50%

置信度

中期 (~90 天)

时效性

2026/10/11

首次发现

有效期至：2027/1/9

来源

OpenAI数学突破：AI对数学领域的首次全面冲击

涉及实体

纳维-斯托克斯方程concept

相关事实

已验证OpenAI宣布约一万个AI代理花费大约88小时，找到了一份与纳维-斯托克斯方程相关难题的证明75% 相似待验证OpenAI的纳维-斯托克斯证明据称由内部未发布模型完成，运行时并行使用约1万个AI智能体，耗时88小时，产出一份166页手稿并发布Lean形式化验证71% 相似待验证OpenAI用数千个智能体在88小时内为纳维-斯托克斯方程的存在性与光滑性问题给出了证明尝试70% 相似待验证该用户采用独立Worker架构、12个进程并行后，10分钟内完成了近百万步的采集70% 相似待验证在生存游戏Arena实验中，约100个智能体并行完成任务约20分钟，顺序执行则需数小时69% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/998295

API

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

MCP

get_claim(id=998295)