待验证50% 置信事件精确时间
Meta研究团队在2024年展示了利用LLM生成Lean证明候选、再由Lean验证器确认正确性的流水线，成功证明了数学竞赛级别的问题
1
来源数
50%
置信度
中期 (~90 天)
时效性
2026/8/10
首次发现
有效期至：2026/11/8
来源
相关事实
待验证2024年多项研究表明LLM存在显著的'自我一致性偏差'，当被要求评估自己生成的内容时，模型倾向于给出过高评价65% 相似待验证Snell等人在2024年发表研究《Scaling LLM Test-Time Compute Optimally》，量化了将算力从预训练转移到推理时搜索与验证的权衡关系63% 相似已验证OpenAI在2023年发表论文"Let's Verify Step by Step"系统性地证明了过程奖励模型（PRM）在数学推理任务中的优越性63% 相似待验证2021年的Chain-of-Thought Prompting论文证明，通过在提示词中加入推理步骤示例，模型的数学推理准确率可提升数十个百分点62% 相似待验证「LLM-as-Judge」范式最早在2023年被系统性提出，利用大语言模型本身的评估能力对生成内容进行质量打分61% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/721298API
curl https://kongchang.com/api/v1/knowledge/claims/721298MCP
get_claim(id=721298)