谢赛宁马拉松访谈：世界模型之外，也是在寻找一种研究生活
这场长达 6 小时 44 分钟的灵魂对谈中，DiT 联合作者谢赛宁不仅深度拆解了世界模型（World Model）、Yann LeCun 与 AMI Labs 的科研路线，更坦诚地反思了学术界与工业界的博弈、逃离硅谷的心路历程，以及在极度商业化的浪潮下，研究者该如何守住独立品味与精神 integrity。
这里收集了前沿学术、硬核工程与人文学术等领域的马拉松式播客深度对谈。 我们采用高精度的 ASR 系统进行转写，并进行精细的高维度提炼、章节化拆解，生成附带音频时间戳一键跳回的交互式学习手册。
这场长达 6 小时 44 分钟的灵魂对谈中，DiT 联合作者谢赛宁不仅深度拆解了世界模型（World Model）、Yann LeCun 与 AMI Labs 的科研路线，更坦诚地反思了学术界与工业界的博弈、逃离硅谷的心路历程，以及在极度商业化的浪潮下，研究者该如何守住独立品味与精神 integrity。
探讨如何用计算机可交互证明语言 Lean 形式化翻译数学大厦，解析“数学天书”中的至美证明。从直觉的边界、机器的物理极限，到人类创造数学与发现数学的哲学思辨，带您走入数学与人工智能交汇的前沿无人区。
ReAct 与 Tree of Thoughts 作者姚顺宇回望从物理出逃、Anthropic Horizon 组大尺度 RL，到 Google Gemini 团队的工程现场。访谈串联后训练、Scaling Law、Bug 墙、世界模型、安全治理与个人学徒人生，是一份带刺但极清醒的大模型时代内部观察。
妙动科技创始人杨硕从大疆飞控、CMU 机器人博士到 Tesla Optimus 的经历出发，拆解人形机器人为什么还处在 GPT-1 前夜、量产可靠性如何成为真正护城河，以及消费级机器人公司该如何在工程细节、供应链、售后和人机共生叙事中找到位置。