顶级数学家 Boaz Barak：手工证明时代已结束，数学应拥抱 AI
mattturck · x · 2026-09-27
前 OpenAI 研究员、哈佛教授 Boaz Barak 转发一段关于 AI 与软件工程师的演讲并呼吁数学家也去看：他坦言自己曾享受手工打磨证明的乐趣，但认为那个时代已经结束，数学界应接受并拥抱与 AI 共同探索数学的新阶段。Matt Turck 转发扩散，引用者称这是每个工程师乃至每个人都该听的一场演讲。
「漫话AGI」频道最新
- Mel Mitchell 断言现有系统已非 LLM，术语误用致混淆 — _aidan_clark_ · 2026-09-27
- 工程师批 OpenAI、Anthropic 把普通 bug 神化为对齐危机 — AlexTensor · 2026-09-27
- Mitchell 澄清随机鹦鹉论针对 2021 模型而非当今系统 — PMinervini · 2026-09-27
- 别追超级智能，我想要一只"金毛 Agent"：笨但 100% 可靠 — pastramimachine · 2026-09-27
- 前研究员戏言：奇点到来时，人人都忙着内卷没注意到 — suchenzang · 2026-09-27
- 用上 Opus 后,15年「代码艺术家」把简介改成了「艺术家」 — pixlpa · 2026-09-27