待验证50% 置信事实精确时间
SIRS 借助 Chen 等人（2026）提出的 Bernoulli factory，将服从 Poisson 分布的裁剪估计值转换为逐 token 的接受/拒绝决策。
1
来源数
50%
置信度
长期有效
时效性
2026/10/16
首次发现
来源
涉及实体
相关事实
已验证2023年底陶哲轩与合作者利用Lean和LLM辅助证明了多项式Freiman-Ruzsa猜想的一个重要特例57% 相似待验证玻尔兹曼机由Hinton和Sejnowski在1985年提出，其状态概率分布遵循玻尔兹曼分布 P(x) ∝ exp(-E(x)/T)54% 相似待验证GPTQ是基于近似二阶信息的逐层量化方法，由Frantar等人于2022年提出，通过海森矩阵的近似逆来最小化量化重建误差54% 相似待验证divsteps算法最初由Bernstein和Yang于2019年提出，是一种用于计算多项式最大公约数和模逆的迭代方法，每一步只涉及加减和移位操作，天然适合可逆实现。53% 相似待验证中智逻辑由数学家Florentin Smarandache于1990年代提出，将命题评估拆分为真（T）、假（F）、不确定（I）三个独立分量，三者之和不强制等于153% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1042098API
curl https://kongchang.com/api/v1/knowledge/claims/1042098MCP
get_claim(id=1042098)