理论计算机科学家 Fortnow：Claude 写数学论文比 OpenAI 更胜一筹
fortnow · x · 2026-10-09
理论计算机科学家、著名博客 Computational Complexity 作者 Lance Fortnow 分享用人写论文的实操观察：OpenAI 的模型目前在做数学证明方面更强，但 Claude 在数学写作（write-up）上表现更好——于是他用 Claude 重写了 Unique Games 猜想相关论文的一个新版本。
这是知名学者对前沿模型在数学研究不同环节（证明 vs 写作）相对强弱的直接对比，附有实际产出链接。
「模型」频道最新
- Anthropic 训练数据追求「干净」,被批忽视人类真实的粗鲁面 — ssh4net · 2026-10-09
- COLM 海报 #60：推理模型爱放大的行为 ≠ 真正带来好结果的行为 — Jeande_d · 2026-10-09
- EngramEdit 论文:靠条件记忆解耦更新 LLM 事实知识 — teortaxesTex · 2026-10-09
- ThursdAI 周报:OpenAI 放出 722 篇数学论文、Haiku 5.5 降至 10 美分 — altryne · 2026-10-09
- 用户实测:Qwen3.6 35B 量化版是罕见好用的本地通用 Agent — Mrinohk · 2026-10-09
- 实测：GPT-6 Luna 可识别 AI 生成图像，但仍有漏网 — Angaisb_ · 2026-10-09