Unverified60% confidenceFactExact time
陶哲轩与本·格林合作证明了'素数中存在任意长的等差数列'的格林-陶定理
2
Sources
60%
Confidence
Long-term
Relevance
7/13/2026
First Seen
Sources
陶哲轩谈AI编程助手：数学家视角下的应用开发变革
hackernewshackernews7/12/2026
Related Claims
Verified2023年底陶哲轩与合作者利用Lean和LLM辅助证明了多项式Freiman-Ruzsa猜想的一个重要特例70% similarUnverified2019年Griffin、Ono、Rolen和Zagier发表工作将黎曼猜想与Jensen多项式的双曲性联系起来，证明对足够大的阶数与黎曼ξ函数相关的Jensen多项式具备双曲性67% similarUnverified安德鲁·怀尔斯证明费马大定理的核心工具谷山-志村猜想是朗兰兹纲领的一个特殊情形67% similarUnverifiedWiles对费马大定理的证明长达129页，核心是建立半稳定椭圆曲线与模形式之间的对应关系（谷山-志村猜想的特殊情形）66% similarUnverifiedAI帮助发现Kazhdan-Lusztig多项式的组合结构规律，该发现后来被Geordie Williamson等人严格证明65% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/500739API
curl https://kongchang.com/api/v1/knowledge/claims/500739MCP
get_claim(id=500739)