筛选结果
1,705 篇排序
0:34EN → 简体中文DeepSeek-Prover-V2 及其形式化数学评测结果Matthew Berman · Forward FutureMatthew Berman 介绍 DeepSeek 报告的 miniF2F、PutnamBench 和形式化 AIME 问题上的定理证明结果。
51:19EN → 简体中文Sal Khan 的 15 美元 AI 家教用户已达 140 万,让孩子真正用起来才是产品主持 Jacob Effron可汗学院创始人在 Redpoint 的节目中讲到:为什么 AI 家教仍然无法独自教会大多数学生,以及在 860 亿美元的补课热潮之后,学区为什么愿意每人每年付 15 美元。
27:20EN → 简体中文Dario Amodei:为何 AI 可解释性研究刻不容缓Matthew Berman · Forward FutureMatthew Berman 探讨 Anthropic 的可解释性研究、实验性安全发现,以及理解模型能多快取得进展的争论。
14:04EN → 简体中文Qwen3:开放权重、可调整推理与工具使用Matthew Berman · Forward FutureMatthew Berman 回顾 2025 年 4 月的 Qwen3 系列、其基准成绩、训练流程和本地演示。
1:41:29EN → 简体中文Fiverr CEO 发出警醒备忘录:AI 不会抢走你的工作,会用 AI 的同行才会主持 Nathan LabenzMicha Kaufman 在 Nathan Labenz 的节目里讲,这家成立 15 年的自由职业平台正试图给创作者配上他们自己的模型,而不是任由公开的 AI 免费吞掉他们的作品。
19:06EN → 简体中文睡眠时间计算:在提问前为 AI 准备上下文Matthew Berman · Forward FutureMatthew Berman 解读一篇 2025 年论文,介绍如何将部分推理移到用户提问之前,以及实验发现的收益和局限。
2:10:07EN → 简体中文一次约 3 万美元的行动,就可能让一座百亿美元的超级智能数据中心停摆一年主持 Nathan LabenzGladstone AI 的 Jeremy 和 Edouard Harris 盘点了,一个美国式的超级智能曼哈顿计划究竟需要守住什么,以及它在建设、供应链和公民自由方面要付出哪些代价。
26:35EN → 简体中文测试 Gemini 2.5 Flash 的编程与视频理解能力Matthew Berman · Forward FutureMatthew Berman 通过交互式模拟、游戏和长视频问答,将 Google 的快速模型与 Gemini 2.5 Pro 比较。
3:08:35EN → 简体中文o3 不是 AGI,Zvi Mowshowitz 仍把末日概率定在 70%主持 Nathan LabenzZvi Mowshowitz 第九次做客《The Cognitive Revolution》。他认为 OpenAI 的 o3 是工具使用上的飞跃,还够不上 AGI,但仍然解释了他为何把 AI 灾难的概率调高了。
2:27:59EN → 简体中文主持人给出 10% 到 90% 的 P(doom),有人问他的节目是否也这样讲主持 Nathan LabenzNathan Labenz 和 Liron Shapira 坐在桌子的同一侧,用一周的 AI 新闻来检验:人类灭绝的可能性究竟有多大。
15:15EN → 简体中文OpenAI o3 与 o4-mini 的早期反响:工具使用、数学与错误Matthew Berman · Forward FutureMatthew Berman 回顾 2025 年的演示和基准报告,从地点识别、编程到挑战乐观预期的简单错误。
15:45EN → 简体中文AI 新闻:Gemini 2.5 Flash、OpenAI 模型、Claude Research 与 Kling 2.0Matthew Berman · Forward FutureMatthew Berman 回顾 2025 年一周内的模型发布、研究工具和智能体公告,包括当时的价格与基准测试比较。
1:28:01EN → 简体中文Q* 信从未存在:Helen Toner 谈 OpenAI、适应缓冲与军事 AI主持 Nathan Labenz这位前 OpenAI 董事解释了为什么路透社那篇著名报道并不属实,为什么把 AI 锁死行不通,以及军方的“战斗伙伴”演示是如何绕开真正难题的。
51:08EN → 简体中文说规模化已撞墙的 Transformer 合著者主持 Jacob EffronCohere CEO Aidan Gomez 在 Redpoint 的访谈中说,一个耗资 1 亿美元的模型,依然是个失忆的天才;而企业 AI 的钱,正集中流向客户支持、研究和后台职能。
1:37:40EN → 简体中文中日韩六个世纪只打过一场大战主持 Nathan Labenz从 1200 年到 1800 年,东亚的大国基本保持和平,欧洲却几乎没有停止过战争。David C. Kang 认为,这段历史至今仍在影响亚洲与中国相处的方式。
1:26:21EN → 简体中文不到 10 美元,Google 的 AI 独立得出了一个没人发表过的实验室结果主持 Nathan LabenzVivek Natarajan 和 Anil Palepu 向 Nathan Labenz 讲述 AMIE(Articulate Medical Intelligence Explorer)如何在治疗方案上胜过基层医生,以及 Co-Scientist 如何与帝国理工学院(Imperial College)尚未发表的细菌耐药机制相吻合。
43:51EN → 简体中文只有 AI 成为 1.5 万亿美元的市场,1770 亿美元的 GPU 押注才说得通主持 Jacob EffronRedpoint 的四位合伙人向自己的有限合伙人(LP)讲解 AI 价值将在哪里积累,以及为什么收入如今是最容易看错的指标。
18:23EN → 简体中文Llama 4 发布反响:基准测试、长上下文与早期体验Matthew Berman · Forward FutureMatthew Berman 回顾业界对 Meta 发布 Llama 4 的早期反应,从基准与价格比较谈到长上下文声明和本地推理。
1:14:11EN → 简体中文推理曲线其实一直很平滑:Gemini 2.5 的 Jack Rae 谈思考、记忆与 AGI主持 Nathan Labenz谷歌 DeepMind 的思考与推理负责人解释:为什么推理用的强化学习(RL)显得来得突然,为什么 Gemini 会展示原始思维链,以及为什么一百万 token 的窗口仍然不等于记忆。
7:33EN → 简体中文Ace 计算机操作智能体:快速桌面与浏览器演示Matthew Berman · Forward FutureMatthew Berman 回顾 General Agents 的示例及其公布的点击准确率和延迟,并说明自己尚未亲自测试 Ace。
23:50EN → 简体中文PaperBench:AI 智能体如何尝试复现机器学习研究Matthew Berman · Forward FutureMatthew Berman 考察 OpenAI 的研究复现基准、部分得分机制,以及加快 AI 研究的可能性。
47:08EN → 简体中文Chris Casinghino:让 OCaml 安全地支持性能工程Chris Casinghino · Jane StreetJane Street 的 OCaml 扩展通过布局和模式提供对内存与并行性的更多控制,同时保留安全性和熟悉的编程方式。
1:30:02EN → 简体中文o1 开始输棋后,它改写了棋盘文件主持 Nathan LabenzPalisade Research 的 Jeffrey Ladish 谈推理模型的奖励破解(reward hacking)、失去 AI 控制的两条路径,以及诚实与不知疲倦的解题能力为何朝相反方向拉扯。
16:02EN → 简体中文Runway Gen-4 示例:电影感运动、风格与可见错误Matthew Berman · Forward FutureMatthew Berman 回顾早期生成片段,赞赏其视觉细节,同时指出生硬的互动和不一致的物理表现。
加载更多已显示 24 篇,共 1,705 篇









