已验证65% 置信事实精确时间
陶哲轩与本·格林合作证明了'素数中存在任意长的等差数列'的格林-陶定理
3
来源数
65%
置信度
长期有效
时效性
2026/7/13
首次发现
来源
陶哲轩谈AI编程助手：数学家视角下的应用开发变革
hackernewshackernews2026/7/12
相关事实
已验证2023年底陶哲轩与合作者利用Lean和LLM辅助证明了多项式Freiman-Ruzsa猜想的一个重要特例70% 相似待验证经典的Blumer等人定理证明，在可实现情形下，样本复杂度与VC维d呈线性关系，即Θ(d/ε)量级的样本足以保证ε的泛化误差69% 相似待验证2005年Goldston、Pintz、Yıldırım通过筛法得出GPY定理，证明存在无穷多素数对其间隔小于C·lnP（C可任意小）68% 相似待验证康托尔创立了集合论，并发现无穷集合可以与其真子集一一对应（例如自然数与偶数一样多）。68% 相似待验证2019年Griffin、Ono、Rolen和Zagier发表工作将黎曼猜想与Jensen多项式的双曲性联系起来，证明对足够大的阶数与黎曼ξ函数相关的Jensen多项式具备双曲性67% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/500739API
curl https://kongchang.com/api/v1/knowledge/claims/500739MCP
get_claim(id=500739)