待验证50% 置信决策规则精确时间
AI谜题格式规定只有可机器检查的证明才算解决，浮点数值只是证据而非证明。
1
来源数
50%
置信度
长期有效
时效性
2026/10/25
首次发现
来源
涉及实体
相关事实
待验证在AI谜题的首次公开测试中，Grok被问及开放级别谜题时声称给出了证明，但实际只是数值估计，随后撤回了该声明。78% 相似待验证AI谜题格式中，较低级别的谜题已有精确答案且答案可被程序自动验证，可用于训练和检查模型输出，题目容易生成变体以避免记忆答案。74% 相似待验证Formal verification provides the only objective criterion for determining the correctness of AI-generated proofs74% 相似已验证判断AI数学突破消息真假的关键在于证据链是否完整、是否可复现，应检查原始Prompt、完整证明和形式化验证记录三方面72% 相似已验证只有当证明能通过Lean等证明助手的严格类型检查，其结论才值得信赖，将AI输出与形式化验证工具结合是确保数学正确性的关键路径72% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1097059API
curl https://kongchang.com/api/v1/knowledge/claims/1097059MCP
get_claim(id=1097059)