待验证50% 置信事实精确时间
Nguyen和Stehlé证明只要浮点精度满足与维度相关的下界（约O(n)位浮点尾数精度），就能保证LLL算法每一步判断正确
1
来源数
50%
置信度
长期有效
时效性
2026/8/4
首次发现
来源
相关事实
已验证2023年底陶哲轩与合作者利用Lean和LLM辅助证明了多项式Freiman-Ruzsa猜想的一个重要特例61% 相似待验证指针分析经典算法中，Andersen 分析精度更高但计算复杂度达 O(n³)，Steensgaard 分析近乎线性但精度较低60% 相似待验证傅里叶神经算子（FNO）由Zongyi Li等人于2020年提出，学习的是无穷维函数空间之间的映射，能以比传统数值方法快数个数量级的速度求解偏微分方程59% 相似待验证L2约简（浮点LLL）由Phong Q. Nguyen和Damien Stehlé提出，其论文《Floating-Point LLL Revisited》于2005年发表58% 相似待验证陶哲轩与本·格林合作证明了'素数中存在任意长的等差数列'的格林-陶定理57% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/683650API
curl https://kongchang.com/api/v1/knowledge/claims/683650MCP
get_claim(id=683650)