待验证50% 置信事实精确时间

2019年Griffin、Ono、Rolen和Zagier发表工作将黎曼猜想与Jensen多项式的双曲性联系起来，证明对足够大的阶数与黎曼ξ函数相关的Jensen多项式具备双曲性

1

来源数

50%

置信度

长期有效

时效性

2026/8/9

首次发现

来源

ChatGPT发现黎曼猜想论文错误，作者确认：AI审计学术论文的新范式

相关事实

已验证2023年底陶哲轩与合作者利用Lean和LLM辅助证明了多项式Freiman-Ruzsa猜想的一个重要特例71% 相似待验证陶哲轩与本·格林合作证明了'素数中存在任意长的等差数列'的格林-陶定理67% 相似待验证Hardy、Benedicks、Amrein-Berthier等人证明了函数及其傅里叶变换的支撑集不能同时具有有限测度（除非函数为零）66% 相似待验证2023年陶哲伦等顶级数学家已开始使用Lean来形式化重要定理64% 相似待验证西尔维斯特（1814-1897）与阿瑟·凯莱共同创立了矩阵理论和不变量理论63% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/721172

API

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

MCP

get_claim(id=721172)