Google 145页报告：Gemini揪出通过人工评审的密码学证明漏洞
dzscholar · reddit · 2026-09-16
Google 发布了一份 145 页的文档，系统记录研究人员如何用 Gemini 解决科学问题。Reddit 用户 dzscholar 提炼了几个关键点：
- 对抗性审稿人用法：Gemini 作为「反面审稿人」，发现了一个已通过人类同行评审的密码学证明中的重大漏洞——这远超 PDF 摘要式用途。
- 跨领域知识迁移：模型能调用几何、测度论等领域的定理去推进算法问题，广泛的通识在这里体现价值。
- 人在环路的分工：人类始终负责选题、验证每个证明、判断真正的新颖性；模型负责提出思路、找漏洞和做复杂计算。
- 自动化循环而非对话：部分项目中 Gemini 被嵌入「提出数学表达式→写代码验证→读报错→自我修正」的闭环，仅在出现有希望的线索时才有人介入。
文档指向结论：AI 辅助科研正从简单的聊天，转向嵌入自动化循环的深度协作。
「研究」频道最新
- Burkov 详解 LLM 低秩结构：跨架构的语言表征数学原理 — burkov · 2026-11-02
- Adobe 与 UCLA 提出 Tev：用可验证进度奖励破解长程 Agent 训练难题 — jiqizhixin · 2026-11-02
- 老招新用：path tracing 加 portal 采样，64spp 噪点显著下降 — ssh4net · 2026-11-02
- Marcel Böhme 提出漏洞引导加固哲学：为何安全永远无法一劳永逸 — mboehme_ · 2026-11-02
- Perplexity 开源研究型基准 WANDR：500 任务、17 万条证据点 — thisguyknowsai · 2026-11-02
- AI 意识研究者:我们没有可靠方法判断 AI 是否有意识 — dioscuri · 2026-11-02