待验证50% 置信观点精确时间

形式化验证能剔除自然语言论证中常见的模糊地带，使AI生成证明的可信度显著提升

1

来源数

50%

置信度

长期有效

时效性

2026/10/6

首次发现

来源

用OpenAI Dots搭建智能体集群，攻克47年数学纪录

涉及实体

相关事实

待验证自然语言驱动的测试存在确定性问题，AI 对同一描述的理解可能存在波动，影响结果可重复性73% 相似待验证英语非母语研究者的正式英语往往结构更规整刻板，这恰是AI检测器识别机器文本的关键特征，导致系统性误判70% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/979803

API

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

MCP

get_claim(id=979803)