一套证明流程会在失败、审计与修复中反复迭代
burny_tech · x · 2026-07-23
这条描述的是一个持续迭代的证明研究闭环：
尝试 → 失败 → 诊断 → 新方法 → 证明草稿 → 对抗审计 → 修复
核心思路是让模型不断放弃坏想法、主动攻击自己的论证、再修补加强，直到找不到实质性漏洞。它强调的是迭代式验证流程，而不是一次性生成答案。
「研究」频道最新
- AA 公布 Intelligence Index v4.3.2 各子项评测明细 — ArtificialAnlys · 2026-10-27
- Infini-AI Lab 开源 Hermit:让 agent 从经验中进化出好习惯 — BeidiChen · 2026-10-27
- Meta FAIR 提出 Self-Direction:把 agent 失败变成 LoRA 技能,成功率提 13.8pp — karen_ullrich · 2026-10-27
- DONIC 双手机器人追踪成功率 86.79%，远超此前 SOTA 的 9.43% — liuziwei7 · 2026-10-27
- 为什么没有更多 10M 上下文模型?研究者抛出注意力机制疑问 — agarwl_ · 2026-10-27
- 研究者吐槽:论文里 PSNR 低于 15dB 基本是用错了指标 — kwangmoo_yi · 2026-10-27