Unverified50% confidenceFactExact time
可验证计算（Verifiable Computation）由 Gennaro、Gentry 和 Parno 等人在 2010 年前后系统化提出
1
Sources
50%
Confidence
Long-term
Relevance
8/23/2026
First Seen
Sources
Related Entities
Related Claims
VerifiedAt the end of 2023, Terence Tao and collaborators used Lean and LLM assistance to prove an important special case of the polynomial Freiman-Ruzsa conjecture58% similarUnverified机器辅助完成的四色定理证明历经十余年争论才被数学社区广泛接受57% similarUnverified2024年安全研究人员展示了通过对抗性后缀（Adversarial Suffix）——一串看似无意义的字符序列——来操纵模型输出的技术56% similarUnverified支持向量机（SVM）由 Vapnik 等人在 1990 年代提出，通过核函数将低维线性不可分问题映射到高维空间求解55% similarUnverifiedCompressed sensing theory was systematically established by Candès, Romberg, Tao, and Donoho between 2004 and 2006.55% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/789847API
curl https://kongchang.com/api/v1/knowledge/claims/789847MCP
get_claim(id=789847)