待验证50% 置信事实精确时间
LLL算法以其发明者Lenstra、Lenstra和Lovász命名，于1982年提出，能在多项式时间内找到一组约简基
1
来源数
50%
置信度
长期有效
时效性
2026/8/4
首次发现
来源
相关事实
已验证2023年底陶哲轩与合作者利用Lean和LLM辅助证明了多项式Freiman-Ruzsa猜想的一个重要特例69% 相似待验证检查点机制的理论基础可追溯至1985年由Chandy和Lamport提出的分布式快照算法64% 相似待验证等值面提取基于Marching Cubes算法，该算法由Lorensen和Cline于1987年提出60% 相似待验证基于超奇异同源映射的SIKE方案在2022年被Wouter Castryck和Thomas Decru利用经典算法在数小时内破解59% 相似待验证史蒂芬·沃尔夫拉姆在1980年代对一维初等元胞自动机进行了系统性分类，将所有256种一维二值规则归入四大行为类别58% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/683646API
curl https://kongchang.com/api/v1/knowledge/claims/683646MCP
get_claim(id=683646)