Unverified50% confidenceFactExact time
Mathematicians James Freytag and Scott Mochnik used ChatGPT to find a counterexample that overturns a stable forking conjecture in model theory that has been in use since 1996, and the relevant paper has been submitted to arXiv.
1
Sources
50%
Confidence
Long-term
Relevance
9/16/2026
First Seen
Sources
Related Entities
Related Claims
Unverified怀尔斯1993年提交费马大定理证明后被发现存在一处关键漏洞，涉及欧拉系统归纳步骤的隐含假设63% similarUnverifiedPhilip Tetlock在《超级预测》中提出模型间的分歧度本身就是不确定性的晴雨表61% similarUnverifiedIn the experiment, ChatGPT provided a structured answer but fabricated an inapplicable tax rule out of thin air, Claude identified the hallucination but made a mathematical error, and Gemini integrated the strengths of both to produce the final answer.60% similarVerifiedAt the end of 2023, Terence Tao and collaborators used Lean and LLM assistance to prove an important special case of the polynomial Freiman-Ruzsa conjecture60% similarUnverifiedEckart-Young-Mirsky定理在谱范数下同样成立59% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/927561API
curl https://kongchang.com/api/v1/knowledge/claims/927561MCP
get_claim(id=927561)