顶级数学家 Boaz Barak：手工证明时代已结束，数学应拥抱 AI
mattturck · x · 2026-09-27
前 OpenAI 研究员、哈佛教授 Boaz Barak 转发一段关于 AI 与软件工程师的演讲并呼吁数学家也去看：他坦言自己曾享受手工打磨证明的乐趣，但认为那个时代已经结束，数学界应接受并拥抱与 AI 共同探索数学的新阶段。Matt Turck 转发扩散，引用者称这是每个工程师乃至每个人都该听的一场演讲。
所属事件:哈佛教授 Boaz Barak：数学手工证明时代已终结(2 条相关)→
「漫话AGI」频道最新
- AI 深度用户呼吁:多讲「AI 提效」与「AI 垃圾产出」的区别 — Dimillian · 2026-11-11
- 手机本地跑出千禧年大奖难题解法的模型还要多久？ — paul_cal · 2026-11-11
- 顶级超预测员因 METR 报告将 ASI 预测提前 3 年至 2028 — ben_j_todd · 2026-11-11
- 盖茨称或先承受 AI 危害再应对，舆论担忧为政府管控铺路 — nikola_mr64990 · 2026-11-11
- 安全研究者 joshua_saxe:每周与 ChatGPT 语音长谈数小时,仍感觉在跟机器说话 — joshua_saxe · 2026-11-11
- Carlsen 对 Stockfish 的启示：没人付费看引擎下棋，观众为人类而来 — teodorio · 2026-11-11