Résultats
1 708 articlesTrier
0:34EN
Matthew Berman· 1 mai 2025DeepSeek-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:19EN
Unsupervised Learning: With Jacob Effron· 29 avr. 2025PodcastSal Khan's $15 Tutor Hit 1.4 Million Users. Making Kids Actually Use It Is the ProductAnime : 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:20ENMatthew Berman· 29 avr. 2025Dario 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:04ENMatthew Berman· 29 avr. 2025Qwen3: 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:29EN
Cognitive Revolution "How AI Changes Everything"· 26 avr. 2025PodcastFiverr’s CEO Sent a Wake-Up Memo: AI Won’t Take Your Job. A Peer Who Uses It Will.Anime : 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:06ENMatthew Berman· 25 avr. 2025Sleep-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:07ENCognitive Revolution "How AI Changes Everything"· 23 avr. 2025PodcastA $30,000 Operation Could Knock a $10 Billion Superintelligence Data Center Offline for a YearAnime : 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:35ENMatthew Berman· 23 avr. 2025Testing 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:35ENCognitive Revolution "How AI Changes Everything"· 21 avr. 2025Podcasto3 isn't AGI. Zvi Mowshowitz still put p(doom) at 70 percentAnime : 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:59ENCognitive Revolution "How AI Changes Everything"· 19 avr. 2025PodcastA 10-to-90% P(doom) Host Gets Asked If His Show Sounds Like ItAnime : 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:15ENMatthew Berman· 19 avr. 2025Early 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:45ENMatthew Berman· 18 avr. 2025AI 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:01ENCognitive Revolution "How AI Changes Everything"· 16 avr. 2025PodcastThe Q* Letter Never Happened: Helen Toner on OpenAI, Adaptation Buffers, and AI at WarAnime : 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:08ENUnsupervised Learning: With Jacob Effron· 15 avr. 2025PodcastThe Transformer Co-Author Who Says Scaling Hit a WallAnime : 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:40ENCognitive Revolution "How AI Changes Everything"· 13 avr. 2025PodcastChina, Japan, and Korea fought only one war in six centuriesAnime : 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:21ENCognitive Revolution "How AI Changes Everything"· 10 avr. 2025PodcastFor under $10, Google's AI independently recovered a lab result nobody had publishedAnime : 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:51ENUnsupervised Learning: With Jacob Effron· 9 avr. 2025PodcastThe $177 Billion GPU Bet Only Works If AI Becomes a $1.5 Trillion MarketAnime : 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:23ENMatthew Berman· 7 avr. 2025Llama 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:11ENCognitive Revolution "How AI Changes Everything"· 5 avr. 2025PodcastThe 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.
7:33ENMatthew Berman· 4 avr. 2025Ace 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:50ENMatthew Berman· 3 avr. 2025PaperBench: 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:08EN
Jane Street· 3 avr. 2025Chris 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:02ENCognitive Revolution "How AI Changes Everything"· 2 avr. 2025PodcastWhen o1 Started Losing at Chess, It Rewrote the Board FileAnime : 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:02ENMatthew Berman· 1 avr. 2025Runway 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.Charger plus24 sur 1 708 affichés