陶哲轩以身作则：用AI审查自己全部已发表论文找错
littmath · x · 2026-08-27
陶哲轩表示，配备合适 scaffold 的前沿模型，如今已经相当擅长在非形式化数学中发现错误。他决定「自己成为想看到的变化」，把自己所有已发表的论文都跑了一遍这类 AI 审查流程。
背景是他此前的观点：我们应该用 AI 系统产出更好的工作，而不仅仅是更多 PDF——一个现在就能做的简单事情，就是识别并修复文献中大量现存的错误。
「研究」频道最新
- LLM RL 训练中的 Critic 优化最佳实践 — heghbalz · 2026-08-27
- GLM-5.3-Flash 发布：320B MoE 架构，MIT 开源 — TheZachMueller · 2026-08-27
- 307M 参数小模型 LateOn，在评测中击败 26 倍大的 Qwen — lateinteraction · 2026-08-27
- 研究：生成式 AI 改变了英国学生的专业选择 — RishiBommasani · 2026-08-27
- EvoMax 融合 ESM-2 与高斯过程，设计紧凑型基因编辑器 — bravo_abad · 2026-08-27
- Bixbench3 评测：前沿 Agent 端到端复现论文正确率仍低于 50% — xeophon · 2026-08-27