待验证50% 置信事实精确时间
哥德尔机由Jürgen Schmidhuber于2003年提出,是允许智能体在有形式化证明更优前提下重写自身代码的自修改程序理论框架
1
来源数
50%
置信度
长期有效
时效性
2026/10/8
首次发现
来源
涉及实体
相关事实
引用此条事实
Stable URI
https://kongchang.com/claim/988695API
curl https://kongchang.com/api/v1/knowledge/claims/988695MCP
get_claim(id=988695)