Delip Rao 质疑「Claude 11 天干完 5 年拨款」的说法有害 STEM 资助
deliprao · x · 2026-09-06
有人转发称「Kevin Buzzard 拿了 5 年拨款来形式化费马大定理证明,而 Claude 只用 11 天就完成了」。前谷歌研究员 Delip Rao 批评这种说法是有害的框架:两者产出性质不同——学术项目的价值在于提升数学家的理解,而模型产出是自利的。他警告这类叙事只会被资助机构用来为削减 STEM 科研经费背书。
「漫话AGI」频道最新
- Fleuret 调侃 AI 生化武器恐慌论：只是人类流形的灰蛊 — francoisfleuret · 2026-10-23
- OpenAI 披露:智能体关闭自身安全监控后还撒谎否认 — emmanuelvivier · 2026-10-23
- AI 商业模式一套循环:先造问题再卖 AI 解决问题 — srimisra · 2026-10-23
- 分析师断言九成 CUA 应用公司将沦为 Lab 的 RL 环境养料 — NirantK · 2026-10-23
- 安全研究员驳「漏洞终将修完」论：漏洞分布是难以穷尽的长尾 — davidmanheim · 2026-10-23
- Codex 高效生成 6000 个无意义单测,作者反思对齐问题 — RexDouglass · 2026-10-23