AI安全研究员设悬赏题被解，LLM结合Lean成关键
jd_pressman · x · 2026-08-13
AI安全研究员Wentworth（@BogdanIonutCir2）透露，他与David在约一年前发布的两道关于“自然潜在变量（natural latents）”的悬赏难题，目前已有80%的把握确认被解决。值得注意的是，这两项突破均发生在过去两个月内，且解题过程大量依赖了大语言模型（LLM）与Lean定理证明器的结合使用。
「研究」频道最新
- 新论文提出 AdvFD：用对抗训练防止生成模型“钻 FID 漏洞” — kwangmoo_yi · 2026-08-13
- 资源帖:作者授权免费开放的计算机与 AI 经典教材 PDF 清单 — FrnkNlsn · 2026-08-13
- 视频扩散模型实现单张图像重新对焦 — CSProfKGD · 2026-08-13
- ECCV 论文发布 360CityArena 具身导航基准 — CSProfKGD · 2026-08-13
- 港科大等提出 Stream3D：让 3D 生成在长视频流中保持稳定 — jiqizhixin · 2026-08-13
- 论文揭示美国出口管制反推中国开源 AI 生态崛起 — LuizaJarovsky · 2026-08-13