待验证50% 置信事实精确时间
北京大学董彬教授、刘若川院士团队完成本次论文全部四个主定理的形式化验证，整个过程仅约5天，峰值并发达100个智能体，产出约55万行Lean代码。
1
来源数
50%
置信度
长期有效
时效性
2026/10/15
首次发现
来源
涉及实体
相关事实
待验证2023年陶哲轩主导的Polynomial Freiman-Ruzsa猜想证明在AI辅助下仅数周内完成形式验证63% 相似待验证该套100集大模型教程由一位自称有五年大模型技术经验的大厂工程师录制，全程耗时三个月制作62% 相似待验证OpenAI的纳维-斯托克斯证明据称由内部未发布模型完成，运行时并行使用约1万个AI智能体，耗时88小时，产出一份166页手稿并发布Lean形式化验证62% 相似待验证在数据中心冷却系统演示中，Catalyst 计算了 52 个导数、105 个独立验证点全部通过，总耗时 1.37 秒61% 相似待验证seL4 微内核用约 10 人年完成了约 10,000 行 C 代码的验证61% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1033832API
curl https://kongchang.com/api/v1/knowledge/claims/1033832MCP
get_claim(id=1033832)