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

程序合成最早可追溯至1969年Waldinger和Lee提出的自动程序编写系统

1

来源数

50%

置信度

长期有效

时效性

2026/7/9

首次发现

来源

GPT-5.6三模型家族发布：Sol/Terra/Luna能力全解析及政府限制事件

bilibili零度解说2026/7/1

相关事实

待验证可视化编程的根源可追溯至1960年代的流程图设计思想64% 相似待验证BNF由约翰·巴科斯和彼得·诺尔在1960年代为描述ALGOL语言语法而发明64% 相似待验证类型推导机制最早由ML语言族在1970年代通过Hindley-Milner类型系统系统化62% 相似待验证WAL 设计源自 IBM 在 1970 年代的 System R 项目，后经 ARIES 算法体系化62% 相似待验证集成电路由杰克·基尔比和罗伯特·诺伊斯在1960年代初发明不久62% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/320875

API

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

MCP

get_claim(id=320875)