Resultados
379 artículosOrdenar
0:34EN
Matthew Berman· 1 may 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.
3:08:35EN
Cognitive Revolution "How AI Changes Everything"· 21 abr 2025Pódcasto3 isn't AGI. Zvi Mowshowitz still put p(doom) at 70 percentPresenta: 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
Zhang Xiaojun Podcast· 7 abr 2025Pódcast · 4 voces陈建宇：机器人基座模型如何走向通用 VLAInvitado: 陈建宇 · Presenta: 张小珺从 SayCan、RT-2 到 Diffusion Policy，清华助理教授、星动纪元创始人陈建宇梳理机器人模型从借用语言模型到端到端 VLA 的路线。关键难题仍是多样化数据、跨本体泛化和高频动作控制。
23:50ENMatthew Berman· 3 abr 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.
1:30:02ENCognitive Revolution "How AI Changes Everything"· 2 abr 2025PódcastWhen o1 Started Losing at Chess, It Rewrote the Board FilePresenta: 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:05ENMatthew Berman· 31 mar 2025Inside 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:31ENMatthew Berman· 29 mar 2025AI 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:35ENMatthew Berman· 21 mar 2025AI 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:23EN
Unsupervised Learning: With Jacob Effron· 17 mar 2025PódcastA Million Tokens per Dollar: Why Noam Shazeer Thinks Inference Compute Is Still UntappedPresenta: 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:10ENMatthew Berman· 6 mar 2025Mercury 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:35ENCognitive Revolution "How AI Changes Everything"· 6 mar 2025PódcastThirty Years of Research, Collapsed into One SentencePresenta: 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:59ENMatthew Berman· 25 feb 2025Grok 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:13ZHZhang Xiaojun Podcast· 24 feb 2025Pódcast · 2 voces松琳解读 DeepSeek、Kimi 与 MiniMax 的注意力新论文Invitado: Songlin Yang（松琳） · Presenta: 张小珺从动态稀疏注意力到线性注意力混合架构：三条长上下文路线如何兼顾训练、推理与硬件效率
17:04ENMatthew Berman· 22 feb 2025Training 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:51ENMatthew Berman· 19 feb 2025Mira Murati Announces Thinking Machines LabMatthew Berman · Forward FutureMatthew Berman reviews the new AI lab’s stated goals in its February 2025 announcement.
53:07ZHZhang Xiaojun Podcast· 17 feb 2025Pódcast · 2 voces张亚勤：信息智能、物理智能与生物智能的 AGI 路线图Invitado: 张亚勤 · Presenta: 张小珺张亚勤把 AGI 的发展分为信息、物理和生物三类智能：信息智能可能在五年内接近人类，通用机器人约需十年，生物智能则可能在二十年后扩展人的记忆与健康。他也讨论大模型如何为自动驾驶和机器人补上数据、常识与行动能力。
45:31ENMatthew Berman· 15 feb 2025Jerry 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:33ENMatthew Berman· 13 feb 2025Latent 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:28ENCognitive Revolution "How AI Changes Everything"· 12 feb 2025PódcastA Perfect Score Is 32,000 Units: Only Claude Built a Cooperative SocietyPresenta: 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:01ENMatthew Berman· 5 feb 2025DeepSeek 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:35ZHZhang Xiaojun Podcast· 4 feb 2025Pódcast · 2 voces潘嘉怡解读 R1、o1 与 Kimi K1.5：强化学习如何教模型学会推理Invitado: 潘嘉怡 · Presenta: 张小珺伯克利博士生潘嘉怡带读 DeepSeek、OpenAI 与 Kimi 的推理模型报告，拆解长思维链、GRPO、奖励设计与蒸馏。R1-Zero 的“顿悟时刻”展示了推理策略如何在强化学习中涌现。
12:07ENMatthew Berman· 2 feb 2025TinyZero: 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:34ENMatthew Berman· 28 ene 2025DeepSeek 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:30EN
Sequoia Capital· 28 ene 2025PódcastMove 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.Cargar másMostrando 24 de 379