Unverified50% confidenceEventExact time
Anthropic announced that its AI provided a complete proof of a key conjecture in percolation theory that had been unresolved for decades, a problem considered to carry Fields Medal-level significance.
1
Sources
50%
Confidence
Long-term
Relevance
10/1/2026
First Seen
Sources
Related Entities
Related Claims
Unverified怀尔斯1993年提交费马大定理证明后被发现存在一处关键漏洞，涉及欧拉系统归纳步骤的隐含假设71% similarUnverifiedStanford scholars evaluated AI's proof of Erdős conjecture No. 1196 as 'among the first AI proofs with long-term academic value'.67% similarUnverifiedAI在解决困扰学界60年的埃尔多斯1196号本原集猜想时，引入了原本用于素数研究的冯·曼戈尔特函数66% similarUnverifiedOn September 8, 2025, New York University mathematician Tristan Buckmaster publicly released three AI-assisted research results on fluid equations, and in a four-page statement disclosed that OpenAI researchers told him their internal model had generated a finite-time blow-up proof for the Navier-Stokes equations with smooth external force.66% similarUnverifiedThe intelligence explosion argument was later further developed by philosophers such as Nick Bostrom, becoming one of the theoretical cornerstones of contemporary discussions on existential risk from AI.64% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/963897API
curl https://kongchang.com/api/v1/knowledge/claims/963897MCP
get_claim(id=963897)