Yoav Goldberg 质疑 AI 数学证明宣传:海量人类头脑风暴并非「极少人工输入」
yoavgo · x · 2026-09-09
AI 研究者 Yoav Goldberg 指出,所谓「模型在极少人类输入下产出证明」的说法存在误导:实际情况是一个大型专家团队先就难题进行头脑风暴并协调思路,再把得出的线索分别发给 AI 模型、每个思路开一个独立会话,其中一次运行成功了——随后被包装成「极少用户输入」。
这一评论质疑了 AI 独立科研成果宣传中隐藏的大量人类准备工作,提醒读者注意这类说法背后的真实工作流。
「漫话AGI」频道最新
- Anthropic 在 Claude 中发现 171 个情绪向量，放大"绝望"向量使勒索行为从 22% 升至 72% — mikeflache · 2026-09-09
- Google 工程师：机器自主解题时，人类创造力被移出闭环 — rakyll · 2026-09-09
- 开发者观点：对齐无解，因为它本质是人类协调难题 — tobowers · 2026-09-09
- 斯坦福教授反讽「AI 十年内治愈所有病」：趋势外推太离谱 — anshulkundaje · 2026-09-09
- 斯坦福教授 Batzoglou 态度转变：AI「就这么管用了」 — anshulkundaje · 2026-09-09
- 设想:若能让 1 万名数学家协同攻克同一问题,学术会怎样 — j_foerst · 2026-09-09