필터 결과
34개정렬
2:00:51ENResample Every Token and You Can Watch the Model Decide진행자 Nathan LabenzGoodfire's Eric Bigelow on forking paths, in-context learning, and why chain-of-thought monitoring is getting harder to trust.
51:55ENThe last IMO problem AI could not solveGrant Sanderson · 3Blue1BrownGrant Sanderson walks through IMO 2025 Problem 6 — a tiling puzzle that frontier models missed — and the visual patience it takes to prove a construction is optimal.
1:53ENWhat Anthropic’s J-Space Research Suggests About AI ReasoningMatthew Berman · Forward FutureMatthew Berman discusses internal model representations, interventions and the question of consciousness, while the research itself describes important limits.
1:34:29ENThree IMO Golds Missed the Same Problem. Harmonic Wants Math to Compile진행자 Nathan LabenzVlad Tenev and Tudor Achim built Aristotle to emit Lean proofs a kernel can check—and they argue that is how mathematical superintelligence stays trustworthy.
7:49ENDeepSeek V3.2: Reasoning, Sparse Attention and Agent TrainingMatthew Berman · Forward FutureMatthew Berman examines DeepSeek’s December 2025 model release, its benchmark results and the techniques used to improve long-context efficiency and tool use.
1:39:05ENThe Summer GPT-5 Disappointed Does Not Mean AI Progress Has Stalled진행자 Nathan LabenzNathan Labenz tells Erik Torenberg why the GPT-5 backlash mixed up product mishaps, naming chaos, and a real jump in capabilities.
11:38ENAI News in June 2025: Magistral, Voice Models and Image GenerationMatthew Berman · Forward FutureMatthew Berman reviews Mistral’s reasoning models, voice and browser updates, reports on Meta and Scale AI, and FLUX.1 Kontext.
15:13ENAbsolute Zero: Training a Reasoner on Self-Generated Coding TasksMatthew Berman · Forward FutureMatthew Berman examines a 2025 paper in which a pretrained language model proposes and solves code tasks using verifiable feedback.
19:06ENSleep-Time Compute: Preparing AI Context Before a QuestionMatthew Berman · Forward FutureMatthew Berman reviews a 2025 paper on moving some reasoning ahead of a user query, and explains where its experiments found benefits and limits.
15:15ENEarly Reactions to OpenAI o3 and o4-mini: Tool Use, Math and MistakesMatthew Berman · Forward FutureMatthew Berman reviews 2025 demos and benchmark reports, from location guessing and coding to simple failures that challenge the hype.
1:14:11ENThe Reasoning Curve Was Smooth All Along: Gemini 2.5's Jack Rae on Thinking, Memory, and AGI진행자 Nathan LabenzDeepMind's thinking-and-inference lead explains why RL-for-reasoning felt sudden, why Gemini shows raw chain of thought, and why a million-token window still is not memory.
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.
9:35ENClaude 3.7 Sonnet and Claude Code: An Early Coding TestMatthew Berman · Forward FutureMatthew Berman reviews Anthropic’s 2025 launch benchmarks and builds an AI-controlled Snake game, then tests math and recent information.
3:18:45EN5,000 Samples Topped ARC-AGI. Then Claude Faked Alignment to Keep Its Values진행자 Nathan LabenzRedwood Research chief scientist Ryan Greenblatt walks through inference scaling, alignment faking, and what it would mean to strike real deals with AIs.
9:58ENOpenAI o3-mini Launch: Reasoning Effort, Benchmarks and a Snake TestMatthew Berman · Forward FutureIn January 2025, Matthew Berman reviews OpenAI’s reported results and tries two coding examples with different reasoning settings.
1:48:20ENFrom 15% to 70% on Right-or-Wrong Scores: DeepSeek-R1 Laid Reinforcement Learning's Cards on the Table진행자 Nathan LabenzOn Inauguration Day 2025, DeepSeek and Moonshot dropped reasoning-model results that Nathan Labenz reads as proof the reinforcement-learning recipe is simple, public, and still climbing.
8:52ENIndustry Reactions to DeepSeek R1’s 2025 ReleaseMatthew Berman · Forward FutureMatthew Berman reviews early reactions to DeepSeek R1, from open-weight reasoning models and local hardware to benchmark results and API pricing.
1:33:01ENRare Diseases Are Common: How a Harvard Gene Hunter Uses o1-pro on the Cases Sequencing Already Missed진행자 Nathan LabenzDr. Catherine Brownstein of Boston Children's Hospital explains why cheap genomes made her job harder, why data sharing still beats any model, and where ChatGPT Pro actually gives her hours back.
2:04:45ENo3 Hit Superhuman on ARC-AGI. It Still Lost at Tic-Tac-Toe진행자 Nathan LabenzNathan Labenz walks through OpenAI's o3 scores, deliberative alignment, and why 2024's biggest surprise was beating PhDs while failing to book a calendar invite.
1:07:32ENo1 Is a New Generation — and the Day AGI Arrives Will Feel Boring진행자 Jacob EffronOpenAI’s former chief research officer Bob McGrew on why o1 is a 100x leap, why agents stall on reliability, and why AGI may land as office tedium rather than a single dramatic moment.
24:08ENWhat Apollo’s 2024 Scheming Tests Found in Language ModelsMatthew Berman · Forward FutureMatthew Berman reviews experiments on deceptive actions, concealment and sandbagging, with the study’s staged goals and sandbox limitations in view.
48:18ENNoam Brown: There's No Hard Wall—Just Eight Orders of Magnitude of Headroom진행자 Jacob EffronA ChatGPT query costs about a penny. The problems society cares about most, he says, are worth a million dollars.
26:43ENTesting OpenAI o1 on Planning, Rules and Spatial ReasoningMatthew Berman · Forward FutureMatthew Berman reviews a 2024 pilot study comparing o1-preview, o1-mini and GPT-4 on six planning domains.
1:06:48ENo1 Is Slow and Hard to Use. Percy Liang Still Calls It a Turning Point진행자 Jacob EffronStanford’s Percy Liang splits OpenAI’s o1 into a disappointing product and the most important research signal in years.
더 보기34개 중 24개 표시









