Unverified50% confidenceEventExact time
On Lex Fridman's podcast, number theorist Alex said he personally witnessed the proof of the quasi-Riemann hypothesis being completed by an AI system.
1
Sources
50%
Confidence
Short-term (~14 days)
Relevance
10/27/2026
First Seen
Valid until: 11/10/2026
Sources
Related Entities
Related Claims
UnverifiedAnthropic 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.68% similarUnverifiedKenneth Ribet established the Frey–Ribet theorem in 1986, building on the work of Gerhard Frey, proving that the Taniyama–Shimura conjecture implies Fermat's Last Theorem.67% similarUnverifiedAI帮助发现Kazhdan-Lusztig多项式的组合结构规律，该发现后来被Geordie Williamson等人严格证明66% similarUnverified怀尔斯1993年提交费马大定理证明后被发现存在一处关键漏洞，涉及欧拉系统归纳步骤的隐含假设66% similarUnverifiedAI在解决困扰学界60年的埃尔多斯1196号本原集猜想时，引入了原本用于素数研究的冯·曼戈尔特函数65% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/1105364API
curl https://kongchang.com/api/v1/knowledge/claims/1105364MCP
get_claim(id=1105364)