Unverified50% confidenceFactExact time

AI帮助发现Kazhdan-Lusztig多项式的组合结构规律，该发现后来被Geordie Williamson等人严格证明

1

Sources

50%

Confidence

Long-term

Relevance

8/21/2026

First Seen

Sources

AI时代的数学：证明助手与机器智能如何重塑数学研究

Related Claims

Unverified在纽结理论中，AI发现了双曲体积与代数不变量之间此前未知的函数关系68% similar Unverified安德鲁·怀尔斯证明费马大定理的核心工具谷山-志村猜想是朗兰兹纲领的一个特殊情形67% similar Verified2023年底陶哲轩与合作者利用Lean和LLM辅助证明了多项式Freiman-Ruzsa猜想的一个重要特例67% similar Unverified陶哲轩与本·格林合作证明了'素数中存在任意长的等差数列'的格林-陶定理65% similar Unverified马可洛夫与合作者近期证明了三维方盒内量子粒子体系下的贝里-泰伯尔猜想65% similar

Cite This Claim

Stable URI

https://kongchang.com/claim/782397

API

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

MCP

get_claim(id=782397)