筛选结果
8 篇排序
31:00EN → 简体中文
AI Explained· 2026年10月12日为什么 AI 实验室自己警告会出重大事故，却还在继续竞赛Sam Altman, John Schulman · OpenAIAI Explained 梳理正在变弱的安全防护、前沿竞赛背后的激励，以及研究突破为何让未来 18 个月更难预测。
51:55EN → 简体中文
3Blue1Brown· 2026年9月18日AI 解不出的最后一道 IMO 题Grant Sanderson · 3Blue1BrownGrant Sanderson 带你走一遍 2025 年 IMO 第 6 题——前沿模型没做出来的铺砖谜题——以及要证明一种构造最优，需要怎样的视觉耐心。
1:24:44EN → 简体中文Forward Future Live：可移植 AI 基础设施、软件与形式化证明Matthew Berman, Nick Wentz, Tim Davis, Joseph Floyd, Carina Hong · Forward FutureTim Davis、Joseph Floyd 和 Carina Hong 与 Matthew Berman、Nick Wentz 讨论 2026 年 2 月的 AI 话题。
13:30EN → 简体中文3Blue1Brown· 2025年8月17日AlphaGeometry 如何结合逻辑证明与创造性作图Aleph0Aleph0 讲解了符号几何求解器如何在不使用 AI 的情况下解决大量难题，以及语言模型如何提供辅助作图，让系统达到奥数竞赛水平。
45:31EN → 简体中文Jerry Chow 谈量子计算、加密、AI 与纠错Matthew Berman, Jerry Chow · Forward FutureIBM 量子系统总监解释量子比特、低温硬件、软件，以及让量子计算机变得有用所需的工作。
15:34EN → 简体中文Sam Altman 谈 AGI 与超级智能：2025 年的一场讨论Matthew Berman, Ray Kurzweil, Lex Fridman · Forward FutureMatthew Berman 解读 Altman 关于 AGI、技术奇点和 AI 可能推动科学进步的表态。
30:29EN → 简体中文研究者如何理解 o1 式推理模型Matthew Berman · Forward FutureMatthew Berman 解读一篇关于策略初始化、奖励、搜索和强化学习的综述，以及推理模型面临的开放问题。
16:06EN → 简体中文AI 新闻：视频生成、Apple Intelligence、机器人与 DeepSeek Coder V2Matthew Berman · Forward FutureMatthew Berman 回顾一周的发布与研究，从 Luma、Runway 到 NVIDIA、机器人和编程模型。