陶哲轩与 Peter L. 直播演示 Open Math OS 实时数学工作流
SammaVaco · reddit · 2026-11-15
Reddit 分享的 YouTube 直播/视频:著名数学家陶哲轩(Terence Tao)与 Peter L. 共同演示「Open Math OS」,展示 AI 辅助的实时数学研究工作流。陶哲轩近年在 AI 形式化与 Lean、AI 辅助证明方面持续实践,这场直播是难得的一手演示,值得数学与 AI 交叉领域关注。
「应用」频道最新
- 7 款付费 AI 订阅可立即换成免费开源替代:Jan、Kokoro、Upscayl 等 — alex_verem · 2026-11-15
- Perplexity CEO 详谈「Computer」:员工与 bot 对话一度多过同事 — ying11231 · 2026-11-15
- 用户实测感想：每次打 Uber 都觉得 Waymo 多花几美元很值 — braelyn_ai · 2026-11-15
- ZIP0 影视站用 AI 识别片源内嵌赌博广告并自动跳过 — ezshine · 2026-11-15
- 「Into the Frame」：用 Marble 打造穿越 1.7 万年艺术史的跳跃游戏 — msharmas · 2026-11-15
- AI 儿童教育新品 Into The Frame：带孩子在名画里冒险学艺术史 — msharmas · 2026-11-15