一套证明流程会在失败、审计与修复中反复迭代
burny_tech · x · 2026-07-23
这条描述的是一个持续迭代的证明研究闭环：
尝试 → 失败 → 诊断 → 新方法 → 证明草稿 → 对抗审计 → 修复
核心思路是让模型不断放弃坏想法、主动攻击自己的论证、再修补加强，直到找不到实质性漏洞。它强调的是迭代式验证流程，而不是一次性生成答案。
「研究」频道最新
- 3D ResNet 论文八年突破 3000 引用，Kinetics 数据集成里程碑 — HirokatuKataoka · 2026-09-11
- 把数据调度变成优化的一部分：样本选择与排序影响 LLM 训练 — Puzzleheaded_Box2842 · 2026-09-11
- Jeff Heaton《神经网络数学导论》开放免费完整下载 — blaizedsouza · 2026-09-11
- 数学家 Daniel Litt 上线问题库,15 题仅 1 题被解,用来追踪 AI 解题进度 — littmath · 2026-09-11
- AI 智能体协作优化 secp256k1 量子电路,挑战打破 ECDSA — StefanoGogioso · 2026-09-11
- Alex Townsend 汇编 200 个数值线性代数开放问题，供人类与 AI 攻关 — IgorCarron · 2026-09-11