絞り込み結果
380 件並び順
0:34ENDeepSeek-Prover-V2 and Its Formal Math ResultsMatthew Berman · Forward FutureMatthew Berman highlights DeepSeek’s reported theorem-proving results on miniF2F, PutnamBench and formalized AIME problems.
3:08:35ENo3 isn't AGI. Zvi Mowshowitz still put p(doom) at 70 percentホスト Nathan LabenzOn his ninth visit to The Cognitive Revolution, Zvi Mowshowitz argues that OpenAI's o3 is a tool-use leap rather than AGI, then explains why he raised the probability of AI catastrophe anyway.
2:29:41ZH陈建宇:机器人基座模型如何走向通用 VLAゲスト 陈建宇 · ホスト 张小珺从 SayCan、RT-2 到 Diffusion Policy,清华助理教授、星动纪元创始人陈建宇梳理机器人模型从借用语言模型到端到端 VLA 的路线。关键难题仍是多样化数据、跨本体泛化和高频动作控制。
23:50ENPaperBench: How AI Agents Attempt to Replicate Machine-Learning ResearchMatthew Berman · Forward FutureMatthew Berman examines OpenAI’s research-replication benchmark, its partial-credit scoring and the prospect of faster AI research.
1:30:02ENWhen o1 Started Losing at Chess, It Rewrote the Board Fileホスト Nathan LabenzJeffrey Ladish of Palisade Research on reward hacking by reasoning models, two paths to losing control of AI, and why honesty and relentless problem-solving pull in opposite directions.
26:05ENInside Claude: What Interpretability Research Reveals—and What It Cannot Yet ExplainMatthew Berman · Forward FutureMatthew Berman examines Anthropic’s case studies on multilingual features, planning, arithmetic, hallucinations and safety.
11:31ENAI News in March 2025: GPT-4o, Gemini, DeepSeek and MCPMatthew Berman · Forward FutureMatthew Berman reviews model updates, the ARC-AGI-2 benchmark, image generators and early adoption of Model Context Protocol.
8:35ENAI News: Vibe Jam, Mistral Small 3.1 and New Audio ModelsMatthew Berman · Forward FutureMatthew Berman surveys March 2025 releases, from AI-assisted games and local models to search, audio and creative tools.
1:10:23ENA Million Tokens per Dollar: Why Noam Shazeer Thinks Inference Compute Is Still Untappedホスト Jacob EffronThe Transformer co-inventor and Gemini researcher Jack Rae walk through test-time compute, Ilya Sutskever's AGI critique, and a four-year-old who now lectures his teacher about lizards.
12:10ENMercury Coder and Diffusion Language Models: Speed, Demos and LimitsMatthew Berman · Forward FutureMatthew Berman explores Inception’s 2025 coding model, comparing iterative text refinement with autoregressive generation and examining speed claims.
1:31:35ENThirty Years of Research, Collapsed into One Sentenceホスト Nathan LabenzImmunologist Derya Unutmaz on writing a medical patent in half an hour, treating o1 Pro as a professor-level collaborator, and why he no longer trusts his own expertise until he asks the model.
7:59ENGrok 3’s Brief Misinformation Filter and the Question of AI BiasMatthew Berman · Forward FutureMatthew Berman examines an instruction that told Grok to disregard sources linking Elon Musk and Donald Trump to misinformation, and xAI’s explanation of how it reached users.
2:36:13ZH松琳解读 DeepSeek、Kimi 与 MiniMax 的注意力新论文ゲスト Songlin Yang(松琳) · ホスト 张小珺从动态稀疏注意力到线性注意力混合架构:三条长上下文路线如何兼顾训练、推理与硬件效率
17:04ENTraining AI Agents to Communicate in a Social-Deduction GameMatthew Berman · Forward FutureMatthew Berman explains Stanford researchers’ listening and speaking objectives in a simulated game inspired by Among Us.
0:51ENMira Murati Announces Thinking Machines LabMatthew Berman · Forward FutureMatthew Berman reviews the new AI lab’s stated goals in its February 2025 announcement.
53:07ZH张亚勤:信息智能、物理智能与生物智能的 AGI 路线图ゲスト 张亚勤 · ホスト 张小珺张亚勤把 AGI 的发展分为信息、物理和生物三类智能:信息智能可能在五年内接近人类,通用机器人约需十年,生物智能则可能在二十年后扩展人的记忆与健康。他也讨论大模型如何为自动驾驶和机器人补上数据、常识与行动能力。
45:31ENJerry Chow on Quantum Computing, Encryption, AI and Error CorrectionMatthew Berman, Jerry Chow · Forward FutureIBM’s quantum systems director explains qubits, cryogenic hardware, software and the work needed to make quantum computers useful.
15:33ENLatent Reasoning and Recurrent Depth: Scaling Compute Before the Next TokenMatthew Berman, Yann Lecun · Forward FutureMatthew Berman examines a 3.5-billion-parameter research model that repeats internal computations, and asks how it relates to language, planning and chain of thought.
1:30:28ENA Perfect Score Is 32,000 Units: Only Claude Built a Cooperative Societyホスト Nathan LabenzThe same donor game, run for ten generations, can bank 32,000 resource units if everyone cooperates—and three frontier models miss that ceiling by an order of magnitude.
10:01ENDeepSeek R1 Code Optimization and a $3 Visual Counting ExperimentMatthew Berman · Forward FutureMatthew Berman examines a human-guided coding improvement and a small reinforcement-learning experiment, then considers their implications for AI research.
2:49:35ZH潘嘉怡解读 R1、o1 与 Kimi K1.5:强化学习如何教模型学会推理ゲスト 潘嘉怡 · ホスト 张小珺伯克利博士生潘嘉怡带读 DeepSeek、OpenAI 与 Kimi 的推理模型报告,拆解长思维链、GRPO、奖励设计与蒸馏。R1-Zero 的“顿悟时刻”展示了推理策略如何在强化学习中涌现。
12:07ENTinyZero: A $30 Reinforcement-Learning Experiment on a Small Arithmetic TaskMatthew Berman · Forward FutureMatthew Berman explains how a pretrained Qwen model learned to search and check answers in Countdown, and why the experiment does not recreate DeepSeek-R1.
20:34ENDeepSeek R1 and the Debate Over AI Costs and ComputeMatthew Berman · Forward FutureMatthew Berman examines 2025 reactions to DeepSeek, from training efficiency and market losses to open weights, privacy and the possibility of a demand rebound.
52:30ENMove 37 looked like a bug. LLMs still need their AlphaZero momentIoannis Antonoglou, from AlphaGo to Reflection AI, on self-play, reliability, and why compute can still buy intelligence.
もっと見る380 件中 24 件を表示









