Unverified50% confidenceFactExact time

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

1

Sources

50%

Confidence

Long-term

Relevance

7/9/2026

First Seen

Sources

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

bilibili零度解说7/1/2026

Related Claims

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

Cite This Claim

Stable URI

https://kongchang.com/claim/320875

API

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

MCP

get_claim(id=320875)