Résultats
32 articlesTrier
2:00:51ENResample Every Token and You Can Watch the Model DecideAnime : 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.
36:19ENThe Benchmark Grid Is Broken: Why Test-Time Compute Has Outrun How We Score ModelsAnime : Sarah Guo, Elad GilOpenAI researcher Noam Brown argues that static leaderboards hide how long a model is allowed to think — and that safety evals, research taste, and the release cycle have not caught up.
1:34:29ENThree IMO Golds Missed the Same Problem. Harmonic Wants Math to CompileAnime : 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.
1:16:21ENJensen Huang’s Year-End Case That Token Costs Can Fall a Billion-Fold Without Killing JobsAnime : Sarah Guo, Elad GilOn No Priors, NVIDIA’s CEO uses radiology, open source, and a $2 trillion R&D budget to argue that 2025’s extremes missed the stack.
1:39:05ENThe Summer GPT-5 Disappointed Does Not Mean AI Progress Has StalledAnime : Nathan LabenzNathan Labenz tells Erik Torenberg why the GPT-5 backlash mixed up product mishaps, naming chaos, and a real jump in capabilities.
36:58ENSTaR's Author Wants Models With EQ, Not Just More IQAnime : Sarah Guo, Elad GilEric Zelikman, the Stanford and xAI researcher behind STaR and Quiet-STaR, launches humans& on the bet that three years of IQ scaling left models emotionally unintelligent.
30:11ENFrom 12 Percent on AIME to IMO Gold in Two MonthsAlex Wei, Sheryl Hsu, and Noam Brown tell Sequoia's Sonya Huang how a three-person OpenAI sprint used general-purpose reinforcement learning, not Lean, to reach gold-level on the 2025 International Mathematical Olympiad.
48:51ENThe Breakthroughs for AGI Are Already Done, Says OpenAI’s Former Research HeadBob McGrew tells Sequoia’s Training Data that 2025 is the year of reasoning, agents will be priced at the cost of compute, and nothing fundamental will be added to the stack by 2035.
38:10ENo3 should wait exactly as long as the answer takesAnime : Sarah Guo, Elad GilOpenAI researchers Eric Mitchell and Brandon McKinzie tell No Priors why o3's leap is a chain of tools during reasoning — and why you should send the same prompt a hundred times.
1:14:11ENThe Reasoning Curve Was Smooth All Along: Gemini 2.5's Jack Rae on Thinking, Memory, and AGIAnime : 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 UntappedAnime : 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.
3:18:45EN5,000 Samples Topped ARC-AGI. Then Claude Faked Alignment to Keep Its ValuesAnime : Nathan LabenzRedwood Research chief scientist Ryan Greenblatt walks through inference scaling, alignment faking, and what it would mean to strike real deals with AIs.
1:48:20ENFrom 15% to 70% on Right-or-Wrong Scores: DeepSeek-R1 Laid Reinforcement Learning's Cards on the TableAnime : 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.
1:33:01ENRare Diseases Are Common: How a Harvard Gene Hunter Uses o1-pro on the Cases Sequencing Already MissedAnime : 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-ToeAnime : 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 BoringAnime : 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.
48:18ENNoam Brown: There's No Hard Wall—Just Eight Orders of Magnitude of HeadroomAnime : Jacob EffronA ChatGPT query costs about a penny. The problems society cares about most, he says, are worth a million dollars.
39:22ENA Fields Medalist Stuck for Two Hours. AlphaProof Climbed for Three Days.Anime : Sarah Guo, Elad GilThe DeepMind team behind AlphaProof tells Sarah Guo and Elad Gil how an AlphaZero-style agent, a Lean verifier, and test-time reinforcement learning reached IMO silver — and why the missing skill is still theory building.
1:06:48ENo1 Is Slow and Hard to Use. Percy Liang Still Calls It a Turning PointAnime : Jacob EffronStanford’s Percy Liang splits OpenAI’s o1 into a disappointing product and the most important research signal in years.
45:22ENAlphaGo Thought 30 Seconds a Move. o1 Made “Think Longer” GeneralOpenAI researchers Noam Brown, Ilge Akkaya, and Hunter Lightman on teaching language models to reason, the generator-verifier gap, and a second scaling curve at inference time.
51:15ENAGI Has One Problem Left: Spend a Million Times More on a TokenMagic founder Eric Steinberger tells Sequoia’s Training Data why he trains his own models, why a software engineer is the MVP of AGI, and why 96% still is not a colleague.
1:56:03ENHumans Near a Perfect Score. The Best AI Still Gets 39%Anime : Nathan LabenzZapier co-founder Mike Knoop and François Chollet put $1 million on ARC-AGI, a 2019 test of sample-efficient intelligence that language models still cannot crack under a one-cent-per-puzzle budget.
55:13ENThe Best AI Scores 39% on This Test. Zapier’s Co-Founder Put $1 Million on Beating ItFrançois Chollet designed ARC to measure skill-acquisition efficiency; five years later humans still crush it and frontier models do not.
Charger plus24 sur 32 affichés









