热度排名 #304

陶哲轩谈数学难题、物理与人工智能｜莱克斯·弗里德曼第 472 期

Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI | Lex Fridman Podcast #472

把访谈里的例子分成提出猜想、找证明和检查证明三类，再听他如何描述机器在各个环节可能提供的帮助。

Lex Fridman · 4 串讨论 · 热度 8.245

讨论出处