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

波音787的飞控软件约有650万行代码，每一行都经过形式化验证

1

来源数

50%

置信度

长期有效

时效性

2026/9/5

首次发现

来源

拒绝AI成为差异化定位：反AI潮流背后的工程理性

涉及实体

波音787product

相关事实

待验证鸿蒙6设备数突破6600万台65% 相似待验证迁移最终结果为6502次提交、178万行代码写入、11天完成全平台100%测试通过60% 相似待验证各方向轨道提交的卫星申请总量已突破50万颗56% 相似待验证支付公司Stripe使用Fable 5在一天之内完成了5000万行代码的签审工作54% 相似待验证单次代码审查或生成请求通常消耗约500-2000个Token54% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/860965

API

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

MCP

get_claim(id=860965)