哈佛教授 Boaz Barak：数学手工证明时代已终结

前 OpenAI 研究员、哈佛大学教授 Boaz Barak 转发一段关于 AI 与软件工程师的演讲并呼吁数学家观看。他坦言自己曾享受手工打磨证明的乐趣，引用一段 AI 生成的日本俳句视频表示，手工「凿」证明的美妙时光已经过去，认为数学家需要接受并拥抱用 AI 探索数学的新时代。

2026-09-27 ~ 2026-09-27 · 2 条相关

• 顶级数学家 Boaz Barak：手工证明时代已结束，数学应拥抱 AI — mattturck · 2026-09-27
• Boaz Barak:手写证明时代已结束,数学家该拥抱 AI — FlorianGallwitz · 2026-09-27