待验证50% 置信事件精确时间

10月6日三位研究者上传到arXiv一篇论文，第一作者是伦敦国王学院的讲师，另两位分别是剑桥大学的博士生和应用数学教授

1

来源数

50%

置信度

中期 (~90 天)

时效性

2026/10/11

首次发现

有效期至：2027/1/9

来源

OpenAI的Navier-Stokes证明与Lean代码不一致：形式化验证的隐忧

涉及实体

arXivproduct 伦敦国王学院company 剑桥大学company

相关事实

待验证真正的数学成果应当发表在arXiv或权威期刊上并接受全球数学家的审视61% 相似待验证本文技术分享来自一位拥有八年AI从业经验的UCLA数学系硕士57% 相似待验证提出该猜想的研究者之一Sergey Yurkevich为这篇论文背书，使其得以提交到arXiv预印本平台57% 相似待验证发帖者观察到有本科生和硕士生一口气向多个workshop投递3-4篇论文56% 相似已验证该研究发表于arXiv，编号为arXiv:2609.0289456% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/995680

API

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

MCP

get_claim(id=995680)