筛选结果
379 篇排序
0:34EN → 简体中文
Matthew Berman· 2025年5月1日DeepSeek-Prover-V2 及其形式化数学评测结果Matthew Berman · Forward FutureMatthew Berman 介绍 DeepSeek 报告的 miniF2F、PutnamBench 和形式化 AIME 问题上的定理证明结果。
3:08:35EN → 简体中文
Cognitive Revolution "How AI Changes Everything"· 2025年4月21日播客o3 不是 AGI，Zvi Mowshowitz 仍把末日概率定在 70%主持 Nathan LabenzZvi Mowshowitz 第九次做客《The Cognitive Revolution》。他认为 OpenAI 的 o3 是工具使用上的飞跃，还够不上 AGI，但仍然解释了他为何把 AI 灾难的概率调高了。
2:29:41ZH
Zhang Xiaojun Podcast· 2025年4月7日播客 · 4 人对谈陈建宇：机器人基座模型如何走向通用 VLA嘉宾 陈建宇 · 主持 张小珺从 SayCan、RT-2 到 Diffusion Policy，清华助理教授、星动纪元创始人陈建宇梳理机器人模型从借用语言模型到端到端 VLA 的路线。关键难题仍是多样化数据、跨本体泛化和高频动作控制。
23:50EN → 简体中文Matthew Berman· 2025年4月3日PaperBench：AI 智能体如何尝试复现机器学习研究Matthew Berman · Forward FutureMatthew Berman 考察 OpenAI 的研究复现基准、部分得分机制，以及加快 AI 研究的可能性。
1:30:02EN → 简体中文Cognitive Revolution "How AI Changes Everything"· 2025年4月2日播客o1 开始输棋后，它改写了棋盘文件主持 Nathan LabenzPalisade Research 的 Jeffrey Ladish 谈推理模型的奖励破解（reward hacking）、失去 AI 控制的两条路径，以及诚实与不知疲倦的解题能力为何朝相反方向拉扯。
26:05EN → 简体中文Matthew Berman· 2025年3月31日深入 Claude：可解释性研究揭示了什么，还有什么尚未解释Matthew Berman · Forward FutureMatthew Berman 解读 Anthropic 关于多语言特征、规划、算术、幻觉和安全的案例研究。
11:31EN → 简体中文Matthew Berman· 2025年3月29日2025 年 3 月 AI 新闻：GPT-4o、Gemini、DeepSeek 与 MCPMatthew Berman · Forward FutureMatthew Berman 回顾模型更新、ARC-AGI-2 基准测试、图像生成器以及 Model Context Protocol 的早期应用。
8:35EN → 简体中文Matthew Berman· 2025年3月21日AI 新闻：Vibe Jam、Mistral Small 3.1 与新音频模型Matthew Berman · Forward FutureMatthew Berman 回顾 2025 年 3 月的产品发布，涵盖 AI 辅助游戏、本地模型、搜索、音频和创意工具。
1:10:23EN → 简体中文
Unsupervised Learning: With Jacob Effron· 2025年3月17日播客每美元一百万个 Token：为什么 Noam Shazeer 认为推理算力（inference compute）仍未被充分挖掘主持 Jacob EffronTransformer 共同发明人 Noam Shazeer 与 Gemini 研究员 Jack Rae 讲述测试时算力（test-time compute）、Ilya Sutskever 对通用人工智能（AGI）的批评，以及一个四岁孩子如今能给老师讲蜥蜴的故事。
12:10EN → 简体中文Matthew Berman· 2025年3月6日Mercury Coder 与扩散语言模型：速度、演示与局限Matthew Berman · Forward FutureMatthew Berman 探讨 Inception 于 2025 年推出的编程模型，比较迭代式文本细化与自回归生成，并审视其速度宣传。
1:31:35EN → 简体中文Cognitive Revolution "How AI Changes Everything"· 2025年3月6日播客三十年的研究，被压缩成一句话主持 Nathan Labenz免疫学家 Derya Unutmaz 谈如何用半小时写出一份医学专利，如何把 o1 Pro 当作教授级的合作者，以及他为什么在问过模型之前，不再相信自己的专业判断。
7:59EN → 简体中文Matthew Berman· 2025年2月25日Grok 3 曾短暂过滤虚假信息来源：AI 偏见从何而来Matthew Berman · Forward FutureMatthew Berman 讨论了一条要求 Grok 忽略将马斯克和特朗普与虚假信息联系起来的来源的指令，以及 xAI 对该指令如何影响用户的解释。
2:36:13ZHZhang Xiaojun Podcast· 2025年2月24日播客 · 2 人对谈松琳解读 DeepSeek、Kimi 与 MiniMax 的注意力新论文嘉宾 Songlin Yang（松琳） · 主持 张小珺从动态稀疏注意力到线性注意力混合架构：三条长上下文路线如何兼顾训练、推理与硬件效率
17:04EN → 简体中文Matthew Berman· 2025年2月22日训练 AI 智能体在社交推理游戏中交流Matthew Berman · Forward FutureMatthew Berman 解释 Stanford 研究人员在受 Among Us 启发的模拟游戏中设计的倾听与发言目标。
0:51EN → 简体中文Matthew Berman· 2025年2月19日Mira Murati 宣布创立 Thinking Machines LabMatthew Berman · Forward FutureMatthew Berman 回顾这家 AI 实验室在 2025 年 2 月公告中提出的目标。
53:07ZHZhang Xiaojun Podcast· 2025年2月17日播客 · 2 人对谈张亚勤：信息智能、物理智能与生物智能的 AGI 路线图嘉宾 张亚勤 · 主持 张小珺张亚勤把 AGI 的发展分为信息、物理和生物三类智能：信息智能可能在五年内接近人类，通用机器人约需十年，生物智能则可能在二十年后扩展人的记忆与健康。他也讨论大模型如何为自动驾驶和机器人补上数据、常识与行动能力。
45:31EN → 简体中文Matthew Berman· 2025年2月15日Jerry Chow 谈量子计算、加密、AI 与纠错Matthew Berman, Jerry Chow · Forward FutureIBM 量子系统总监解释量子比特、低温硬件、软件，以及让量子计算机变得有用所需的工作。
15:33EN → 简体中文Matthew Berman· 2025年2月13日潜在空间推理与递归深度：在预测下一个 token 前增加计算Matthew Berman, Yann Lecun · Forward FutureMatthew Berman 研究一个重复内部计算的 35 亿参数模型，并探讨它与语言、规划及思维链的关系。
1:30:28EN → 简体中文Cognitive Revolution "How AI Changes Everything"· 2025年2月12日播客满分是 32,000 单位，只有 Claude 建起了合作社会主持 Nathan Labenz同一个捐赠博弈跑满十代，如果每个人都选择合作，资源能积累到 32,000 单位；三个前沿模型都与这一上限相差一个数量级。
10:01EN → 简体中文Matthew Berman· 2025年2月5日DeepSeek R1 的代码优化与一项 3 美元的视觉计数实验Matthew Berman · Forward FutureMatthew Berman 研究了一次人类引导的代码改进和一项小规模强化学习实验，并思考它们对 AI 研究的意义。
2:49:35ZHZhang Xiaojun Podcast· 2025年2月4日播客 · 2 人对谈潘嘉怡解读 R1、o1 与 Kimi K1.5：强化学习如何教模型学会推理嘉宾 潘嘉怡 · 主持 张小珺伯克利博士生潘嘉怡带读 DeepSeek、OpenAI 与 Kimi 的推理模型报告，拆解长思维链、GRPO、奖励设计与蒸馏。R1-Zero 的“顿悟时刻”展示了推理策略如何在强化学习中涌现。
12:07EN → 简体中文Matthew Berman· 2025年2月2日TinyZero：一项耗资约 30 美元的小型算术任务强化学习实验Matthew Berman · Forward FutureMatthew Berman 解释预训练 Qwen 模型如何在 Countdown 中学会搜索和检查答案，以及为什么这项实验没有复现 DeepSeek-R1。
20:34EN → 简体中文Matthew Berman· 2025年1月28日DeepSeek R1 与 AI 成本和算力之争Matthew Berman · Forward FutureMatthew Berman 分析 2025 年各界对 DeepSeek 的反应，涉及训练效率、市场损失、开放权重、隐私及需求反弹的可能性。
52:30EN → 简体中文
Sequoia Capital· 2025年1月28日播客第 37 手看起来像 bug，大语言模型（LLM）仍需要自己的 AlphaZero 时刻Ioannis Antonoglou 从 AlphaGo 聊到 Reflection AI：谈自我对弈、可靠性，以及为什么算力仍然能买来智能。加载更多已显示 24 篇，共 379 篇