필터 결과
1,706개정렬
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.
51:19ENSal Khan's $15 Tutor Hit 1.4 Million Users. Making Kids Actually Use It Is the Product진행자 Jacob EffronThe Khan Academy founder tells Redpoint why an AI tutor still cannot teach most students alone, and why districts are paying $15 a year after an $86 billion tutoring hangover.
27:20ENDario Amodei’s Case for Urgent AI Interpretability ResearchMatthew Berman · Forward FutureMatthew Berman examines Anthropic’s interpretability work, experimental safety findings and the debate over how quickly understanding can advance.
14:04ENQwen3: Open Weights, Adjustable Reasoning and Tool UseMatthew Berman · Forward FutureMatthew Berman reviews the April 2025 Qwen3 family, its benchmark claims, training pipeline and local demonstration.
1:41:29ENFiverr’s CEO Sent a Wake-Up Memo: AI Won’t Take Your Job. A Peer Who Uses It Will.진행자 Nathan LabenzMicha Kaufman tells Nathan Labenz how a 15-year freelance marketplace is trying to give creators their own models instead of letting public AI eat their work for free.
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.
2:10:07ENA $30,000 Operation Could Knock a $10 Billion Superintelligence Data Center Offline for a Year진행자 Nathan LabenzGladstone AI’s Jeremy and Edouard Harris inventory what an American Manhattan Project for superintelligence would actually have to secure — and what it would cost in concrete, supply chains, and civil liberties.
26:35ENTesting Gemini 2.5 Flash on Coding and Video UnderstandingMatthew Berman · Forward FutureMatthew Berman compares Google’s faster model with Gemini 2.5 Pro through interactive simulations, games and questions about a long video.
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:27:59ENA 10-to-90% P(doom) Host Gets Asked If His Show Sounds Like It진행자 Nathan LabenzNathan Labenz and Liron Shapira sit on the same side of the table and test a week of AI news against the question of how likely extinction actually is.
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.
15:45ENAI News: Gemini 2.5 Flash, OpenAI Models, Claude Research and Kling 2.0Matthew Berman · Forward FutureMatthew Berman reviews a week of 2025 model releases, research tools and agent announcements, including historical price and benchmark comparisons.
1:28:01ENThe Q* Letter Never Happened: Helen Toner on OpenAI, Adaptation Buffers, and AI at War진행자 Nathan LabenzThe former OpenAI director explains why a famous Reuters story was false, why locking down AI will not work, and how military “battle buddy” demos skip the hard questions.
51:08ENThe Transformer Co-Author Who Says Scaling Hit a Wall진행자 Jacob EffronCohere CEO Aidan Gomez tells Redpoint that a $100 million model is still an amnesiac genius, and that enterprise AI money is concentrating in support, research, and the back office.
1:37:40ENChina, Japan, and Korea fought only one war in six centuries진행자 Nathan LabenzFrom 1200 to 1800, East Asia’s great powers stayed at peace while Europe fought almost without pause — and David C. Kang argues that history still shapes how Asia lives with China.
1:26:21ENFor under $10, Google's AI independently recovered a lab result nobody had published진행자 Nathan LabenzVivek Natarajan and Anil Palepu tell Nathan Labenz how AMIE beats primary-care doctors on treatment plans, and how Co-Scientist matched Imperial College's unpublished bacterial-resistance mechanism.
43:51ENThe $177 Billion GPU Bet Only Works If AI Becomes a $1.5 Trillion Market진행자 Jacob EffronFour Redpoint partners walk their limited partners through where AI value will accrue—and why revenue is now the easiest metric to misread.
18:23ENLlama 4 Reactions: Benchmarks, Long Context and Early TestsMatthew Berman · Forward FutureMatthew Berman reviews early industry reactions to Meta's Llama 4 release, from benchmark and price comparisons to long-context claims and local inference.
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.
7:33ENAce Computer-Use Agent: Fast Desktop and Browser DemonstrationsMatthew Berman · Forward FutureMatthew Berman reviews General Agents’ examples and reported click accuracy and latency, while noting he has not yet tested Ace himself.
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.
47:08ENChris Casinghino on Making OCaml Safe for Performance EngineeringChris Casinghino · Jane StreetJane Street’s OCaml extensions use layouts and modes to offer more control over memory and parallelism while preserving safety and familiar programming patterns.
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.
16:02ENRunway Gen-4 Examples: Cinematic Motion, Style and Visible ErrorsMatthew Berman · Forward FutureMatthew Berman reviews early generated clips, praising their visual detail while identifying awkward interactions and inconsistent physics.
더 보기1,706개 중 24개 표시









