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% similarUnverifiedBNF由约翰·巴科斯和彼得·诺尔在1960年代为描述ALGOL语言语法而发明64% similarUnverifiedType inference mechanisms were first systematized by the ML language family in the 1970s through the Hindley-Milner type system.62% similarUnverifiedWAL 设计源自 IBM 在 1970 年代的 System R 项目，后经 ARIES 算法体系化62% similarUnverifiedThe integrated circuit was invented by Jack Kilby and Robert Noyce in the early 1960s62% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/320875API
curl https://kongchang.com/api/v1/knowledge/claims/320875MCP
get_claim(id=320875)