陶哲轩出席 ICM 的 AI for Mathematics 圆桌
Thom_Wolf · x · 2026-07-26
在费城举行的国际数学家大会上，Terence Tao 参加了题为 “AI for Mathematics” 的圆桌讨论。
同场嘉宾包括多位数学教授，以及 Google DeepMind 的 Staff Research Engineer Bogdan Georgiev。这场讨论把学界与产业界拉到一起，集中谈 AI 如何进入数学研究与工作流程。
所属事件:陶哲轩ICM演讲：AI将数学推入证明过剩时代(14 条相关)→
「公司和人」频道最新
- 法学教授谈 legal engineering 岗位:离开执业后再回律所仍受偏见 — jkubicki · 2026-09-11
- 安全从业者被讽「只会发帖不设防」,AI Safety 圈爆发职责之争 — Dan_Jeffries1 · 2026-09-11
- 孙正义：人类是最高级生命形式的时代即将终结 — Puzzleheaded-King584 · 2026-09-11
- IIT马德拉斯推出 EdTech Tulna AI 教育产品评估标准 — ravi_iitm · 2026-09-11
- Warp 六个非工程团队全用 Linear 和 Claude Code 工程化运作 — mon__lim · 2026-09-11
- Anthropic 内部爆料:并非人人都持高 p(doom) 灾难论 — anpaure · 2026-09-11