待验证50% 置信基准精确时间
NanoLean检查Mathlib约用11.85秒，验证OpenAI的Navier-Stokes形式化用17.13秒，验证Kepler猜想相关内容仅3.66秒，相关代码已开源在GitHub
1
来源数
50%
置信度
中期 (~90 天)
时效性
2026/10/11
首次发现
有效期至：2027/1/9
来源
涉及实体
相关事实
待验证在数据中心冷却系统演示中，Catalyst 计算了 52 个导数、105 个独立验证点全部通过，总耗时 1.37 秒65% 相似待验证一位开发者在 Reddit 社区分享了一个开源幻觉检测器，宣称能在 CPU 上以 1.5 毫秒完成单次幻觉检测64% 相似待验证nanoGPT速通竞赛中参与者竞相在NVIDIA A100或H100等GPU上以最短wall-clock时间达到特定验证集loss61% 相似待验证Warp AI和GitHub Copilot CLI的典型端到端延迟在500毫秒到数秒之间61% 相似待验证在11.8万节点的生产级图基准测试中，Semantica节点搜索耗时从24毫秒降低到0.004毫秒，约6000倍加速61% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/995686API
curl https://kongchang.com/api/v1/knowledge/claims/995686MCP
get_claim(id=995686)