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

如果无法验证数据来源，关于AI做出原创数学贡献的宣传应当被谨慎对待

1

来源数

50%

置信度

中期 (~90 天)

时效性

2026/9/11

首次发现

有效期至：2026/12/10

来源

数学家公开质疑OpenAI：请证明你没用我们的研究成果

涉及实体

相关事实

待验证形式化验证尝试用数学证明保证AI行为安全性，但其可扩展性面临严峻挑战75% 相似待验证目前公开可验证的AI数学成果绝大多数停留在解决有已知答案的竞赛题目层次，而非创造全新数学知识的开放性问题层次72% 相似待验证主动要求AI引入可信瑕疵可以对抗模型的讨好性偏差，从而提升输出的真实度72% 相似待验证不采用自动发布是一个关键设计决策，因为AI生成内容存在"捏造"或"夸大"的风险，可能面临真实性质疑甚至法律风险72% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/895190

API

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

MCP

get_claim(id=895190)