Unverified50% confidenceFactExact time
AI帮助发现Kazhdan-Lusztig多项式的组合结构规律，该发现后来被Geordie Williamson等人严格证明
1
Sources
50%
Confidence
Long-term
Relevance
8/21/2026
First Seen
Sources
Related Claims
Unverified在纽结理论中，AI发现了双曲体积与代数不变量之间此前未知的函数关系68% similarUnverifiedThe Taniyama–Shimura conjecture, which was the core tool Andrew Wiles used to prove Fermat's Last Theorem, is a special case of the Langlands program.67% 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 conjecture67% similarUnverifiedTerence Tao collaborated with Ben Green to prove the Green-Tao theorem, which states that the prime numbers contain arbitrarily long arithmetic progressions.65% similarUnverifiedMarklof and his collaborators recently proved the Berry–Tabor conjecture for a system of quantum particles in a three-dimensional rectangular box.65% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/782397API
curl https://kongchang.com/api/v1/knowledge/claims/782397MCP
get_claim(id=782397)