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

目前大多数AI公司宣称的数学突破并未经过形式化验证，仍停留在自然语言描述阶段

1

来源数

50%

置信度

中期 (~90 天)

时效性

2026/9/11

首次发现

有效期至：2026/12/10

来源

OpenAI陷数学造假争议:纳维-斯托克斯难题真相

涉及实体

形式化证明验证concept

相关事实

待验证作者认为AI在短期内编写几乎所有代码的预言并不成立，短期内也不会实现70% 相似待验证近期一项由AI系统实现的数学突破在学术界和技术圈引发了争议70% 相似待验证AI 产出的代码往往缺乏人类编写时自然形成的设计意图注释，其长期可维护性是业界尚未有定论的开放性问题69% 相似待验证据第一财经分析，国产AI编程工具仍处于基础能力对标阶段，高端工程能力与Claude尚有差距69% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/903837

API

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

MCP

get_claim(id=903837)