待验证50% 置信事件精确时间
OpenAI用数千个智能体在88小时内为纳维-斯托克斯方程的存在性与光滑性问题给出了证明尝试
1
来源数
50%
置信度
长期有效
时效性
2026/10/6
首次发现
来源
涉及实体
相关事实
已验证OpenAI宣布约一万个AI代理花费大约88小时，找到了一份与纳维-斯托克斯方程相关难题的证明79% 相似待验证OpenAI于9月1日启动万个智能体，几天内抢先给出更复杂方程的反例75% 相似待验证OpenAI的纳维-斯托克斯证明据称由内部未发布模型完成，运行时并行使用约1万个AI智能体，耗时88小时，产出一份166页手稿并发布Lean形式化验证73% 相似待验证OpenAI内部实验中，5个月内由3名工程师驱动Codex，在空仓库生成约100万行代码，合并约1500个PR，平均每位工程师每天3.5个PR62% 相似待验证Onyx项目让120个自动化研究智能体在1.5小时内为一个机器人执行器发现物理模型，完成传统需数周的研究工作62% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/979944API
curl https://kongchang.com/api/v1/knowledge/claims/979944MCP
get_claim(id=979944)