Boaz Barak:手写证明时代已结束,数学家该拥抱 AI
FlorianGallwitz · x · 2026-09-27
前 OpenAI 研究员、哈佛教授 Boaz Barak 引用一段 AI 生成的日本俳句视频并表态:手工「凿」证明的美妙时光已经过去,数学家需要接受并拥抱用 AI 探索数学的新时代。
Andrew Curran 转发称「无论什么领域的人都该看看」,这条引用在数学界引发了对 AI 辅助研究定位的讨论。
所属事件:哈佛教授 Boaz Barak：数学手工证明时代已终结(2 条相关)→
「漫话AGI」频道最新
- 「深度学习是搜索算法而非学习算法」引热议 — JosephJacks_ · 2026-11-11
- PhD 新路线之争：先造好 Benchmark 再拿钱开 Data 创业公司 — teortaxesTex · 2026-11-11
- Ethan Mollick:GTA 6 将成最后一款无 AI 参与的大作 — emollick · 2026-11-11
- Air Street 创始人：AI 是「心灵博物馆」，为人类保存知识与技艺 — nathanbenaich · 2026-11-11
- 学者警告:实时视频 AI 伴侣将成青少年安全下一波冲击 — anshulkundaje · 2026-11-11
- 800 条 HN「AI 能行再说」语录获 10 万票投票，多数门槛已被跨过 — ArtificialOther · 2026-11-11