【中配】陶哲轩谈AI时代的数学革命：从形式验证到人机协作 - SAIR

合集 · 演讲 (18)

1. 36:18
   黄仁勋：AI不会取代你，只会让你更强 - Carnegie Mellon University - 中配
2. 1:30:56
   赫拉利：人工智能如何用叙事操控社会，我们如何应对？ - Big Think
3. 4:38:14
   老黄揭秘AI下个十年，见证Rubin架构降临！黄仁勋GTC 2026全记录：Rubin平台、OpenClaw与物理AI蓝图 - Yahoo Financ
4. 32:37
   陶哲轩谈AI时代的数学革命：从形式验证到人机协作 - SAIR
5. 16:18
   从《传道书》到加缪，我们为何而活？ - Big Think
6. 43:40
   你的大脑，正在“脑补”你看到的世界 - Perception Box
7. 1:45:19
   别追幸福了，卓越感才是你的解药 - Big Think
8. 16:31
   福布斯记者给亿万富翁们出了道新考题 - TED
9. 25:56
   哈佛教授回应伊朗政府提问 | 科技支持 - WIRED
10. 27:23
    物理学家告诉你：为什么回到过去可能不矛盾 - Big Think Clips
11. 33:58
    一个AI编码代理，如何让普通人也能自动化工作 - TED
12. 1:43:39
    台积电卡住全世界芯片命脉 - Big Think
13. 17:04
    社交媒体该归国家管吗？她说不 - OxfordUnion
14. 18:48
    我在日本用股东提案逼银行放弃煤电 - TED
15. 6:53
    全球首个AI发表的TED演讲 - TED
16. 4:49
    查尔斯国王国会幽默吐槽英美差异 - The Sun
17. 24:21
    六个简单规则，吃对食物瘦下来 - Perception Box
18. 1:51:19
    马斯克：Optimus将成史上最伟大产品 - The Money Investing - 中配