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

CMake脚本语言的特性使其在理论上达到图灵完备

1

来源数

50%

置信度

长期有效

时效性

2026/9/12

首次发现

来源

用纯CMake实现GPT-2推理：图灵完备的极限编程实验

涉及实体

CMakeproduct 图灵完备concept

相关事实

待验证CMake内置脚本语言支持变量、字符串操作、循环（foreach、while）、条件判断（if）以及函数/宏定义73% 相似待验证对于每次都必须完全正确的关键步骤应使用确定性脚本而非让模型即兴生成逻辑，脚本放在scripts目录62% 相似待验证该架构模式的核心是用小型专精模型将自然语言翻译成形式逻辑，再交给求解器（如 Prolog、SMT、Lean）得出确定性答案58% 相似待验证提示词设计的底层逻辑在所有大语言模型驱动的工具中都是通用的，可在Manus、ChatGPT、Claude等产品间迁移57% 相似待验证Svelte 以其编译时优化和简洁的响应式语法著称56% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/911308

API

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

MCP

get_claim(id=911308)