待验证50% 置信事实精确时间
可验证计算（Verifiable Computation）由 Gennaro、Gentry 和 Parno 等人在 2010 年前后系统化提出
1
来源数
50%
置信度
长期有效
时效性
2026/8/23
首次发现
来源
涉及实体
相关事实
已验证2023年底陶哲轩与合作者利用Lean和LLM辅助证明了多项式Freiman-Ruzsa猜想的一个重要特例58% 相似待验证机器辅助完成的四色定理证明历经十余年争论才被数学社区广泛接受57% 相似待验证2024年安全研究人员展示了通过对抗性后缀（Adversarial Suffix）——一串看似无意义的字符序列——来操纵模型输出的技术56% 相似待验证支持向量机（SVM）由 Vapnik 等人在 1990 年代提出，通过核函数将低维线性不可分问题映射到高维空间求解55% 相似待验证压缩感知理论由Candès、Romberg、Tao及Donoho等人于2004-2006年间系统建立55% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/789847API
curl https://kongchang.com/api/v1/knowledge/claims/789847MCP
get_claim(id=789847)