Ergebnisse
379 ArtikelSortieren
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.
3:08:35ENo3 isn't AGI. Zvi Mowshowitz still put p(doom) at 70 percentModeration: 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陈建宇:机器人基座模型如何走向通用 VLAGast: 陈建宇 · Moderation: 张小珺从 SayCan、RT-2 到 Diffusion Policy,清华助理教授、星动纪元创始人陈建宇梳理机器人模型从借用语言模型到端到端 VLA 的路线。关键难题仍是多样化数据、跨本体泛化和高频动作控制。
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.
1:30:02ENWhen o1 Started Losing at Chess, It Rewrote the Board FileModeration: 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:05ENInside 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:31ENAI 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:35ENAI 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:23ENA Million Tokens per Dollar: Why Noam Shazeer Thinks Inference Compute Is Still UntappedModeration: 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:10ENMercury 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:35ENThirty Years of Research, Collapsed into One SentenceModeration: 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:59ENGrok 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:13ZH松琳解读 DeepSeek、Kimi 与 MiniMax 的注意力新论文Gast: Songlin Yang(松琳) · Moderation: 张小珺从动态稀疏注意力到线性注意力混合架构:三条长上下文路线如何兼顾训练、推理与硬件效率
17:04ENTraining 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:51ENMira Murati Announces Thinking Machines LabMatthew Berman · Forward FutureMatthew Berman reviews the new AI lab’s stated goals in its February 2025 announcement.
53:07ZH张亚勤:信息智能、物理智能与生物智能的 AGI 路线图Gast: 张亚勤 · Moderation: 张小珺张亚勤把 AGI 的发展分为信息、物理和生物三类智能:信息智能可能在五年内接近人类,通用机器人约需十年,生物智能则可能在二十年后扩展人的记忆与健康。他也讨论大模型如何为自动驾驶和机器人补上数据、常识与行动能力。
45:31ENJerry 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:33ENLatent 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:28ENA Perfect Score Is 32,000 Units: Only Claude Built a Cooperative SocietyModeration: 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:01ENDeepSeek 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:35ZH潘嘉怡解读 R1、o1 与 Kimi K1.5:强化学习如何教模型学会推理Gast: 潘嘉怡 · Moderation: 张小珺伯克利博士生潘嘉怡带读 DeepSeek、OpenAI 与 Kimi 的推理模型报告,拆解长思维链、GRPO、奖励设计与蒸馏。R1-Zero 的“顿悟时刻”展示了推理策略如何在强化学习中涌现。
12:07ENTinyZero: 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:34ENDeepSeek 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:30ENMove 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.
Mehr laden24 von 379 angezeigt









