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

数学家James Freytag与Scott Mochnik借助ChatGPT找到反例，推翻了模型论中自1996年沿用至今的一项稳定分叉猜想，相关论文已提交至arXiv

1

来源数

50%

置信度

长期有效

时效性

2026/9/16

首次发现

来源

OpenAI遭30起诉讼、GPT-6-Astra现身API：AI早报要闻梳理

涉及实体

James Freytagperson Scott Mochnikperson ChatGPTproduct

相关事实

待验证怀尔斯1993年提交费马大定理证明后被发现存在一处关键漏洞，涉及欧拉系统归纳步骤的隐含假设63% 相似待验证Philip Tetlock在《超级预测》中提出模型间的分歧度本身就是不确定性的晴雨表61% 相似待验证在该实验中，ChatGPT给出结构化答案但凭空编造了一条不适用的税务规则，Claude识别出该幻觉但把数学运算算错，Gemini整合各方优点输出最终答案60% 相似已验证2023年底陶哲轩与合作者利用Lean和LLM辅助证明了多项式Freiman-Ruzsa猜想的一个重要特例60% 相似待验证Eckart-Young-Mirsky定理在谱范数下同样成立59% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/927561

API

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

MCP

get_claim(id=927561)