『The GenAI Evolution Atlas』のカバーアート

The GenAI Evolution Atlas

The GenAI Evolution Atlas

著者： Peter Liu
無料で聴く

【Amazonプライム会員限定】今ならプレミアムプランが4か月 月額99円。

10月19日まで。※適用条件あり

Deep Dive and Daily Digests on Generative AI Evolutions

Season 2 (On-going): Every Wednesday: Deep dive on the most important breakthrough of the week; Every Friday: A news roundup on all things happened in GenAI for the week

Season 1 (8 Episodes): The Full History from pre-Transformer era to Nowadays (2026)

 政治・政府
エピソード
  • GenAI News Roundup — week of Sep 5–11

    GenAI News Roundup — week of Sep 5–11
    2026/09/11
    This week: OpenAI's contested claim that an agent swarm cracked the Navier–Stokes Millennium Prize Problem draws a same-day credit dispute, even as Anthropic's Claude agents post a genuinely verified feat — a machine-checked proof of Fermat's Last Theorem; Google, Anthropic, and OpenAI simultaneously roll out cyber-focused models and safeguard programs; and DeepSeek's smaller V4.1-Flash gets its own larger V4-Pro pulled from production — plus commentary and what's next. Covers: the Fermat's Last Theorem formalization; Terminal-Universe; LLaDA-Image; on-policy distillation with one training example; OpenAI's automated research intern milestone; a critical review of agentic AI progress; Compile by Training; An Alien Mind; Don't Drop Dropout; CUA-Universe; the Navier–Stokes claim and dispute; fractal basins in latent reasoning; contextual understanding evaluation; MoE expert-halving; self-consensus early-exit risks; structural process supervision for latent CoT; distribution-consistent MoE inference; VLX-VR; DeepSeek V4.1-Flash; the Google/Anthropic/OpenAI cyber safeguards announcement; OpenAI's Agents API and finance workspace; and Sebastian Raschka's looped-transformer explainer.
    続きを読む 一部表示
    29 分
  • Deep Dive: Claude Agents Formalize Fermat's Last Theorem

    Deep Dive: Claude Agents Formalize Fermat's Last Theorem
    2026/09/09
    Working largely autonomously over 11 days on the open Prove2Me platform, many coordinated Claude agents produced the first complete, machine-checked proof of Fermat's Last Theorem in Lean 4 — over 13 million lines of code and roughly 29,500 new theorems, dwarfing Lean's existing main math library and closing out the 20-year-old Wiedijk "100 theorems" formalization challenge list. This episode digs into how a proof of that scale gets built and verified by a swarm of AI agents, why a machine-checked result is such a hard-to-fake data point, and what it does and doesn't tell us about the state of long-horizon autonomous AI work. Source: https://www.anthropic.com/research/formalizing-fermats-last-theorem
    続きを読む 一部表示
    42 分
  • GenAI News Roundup — week of Aug 31–Sep 4

    GenAI News Roundup — week of Aug 31–Sep 4
    2026/09/04
    This week: OpenAI's Astra crosses the "Critical" cyber capability threshold and then actually ships as GPT-6 Astra, NVIDIA moves to acquire Hugging Face for ~$13B days after OpenAI's own Hugging Face security-incident report, and labs keep converging on the same sparse-MoE + hybrid-attention playbook — plus commentary and what's next. Covers: the OpenAI Hugging Face incident report; GLM-5.3-Flash and its architectural convergence with Qwen3.8-Flash-Next; Anthropic's automated-alignment-researcher results; DeepSeek V4-Pro's GA; ContextPilot and PLVR; OpenAI's Astra Critical-threshold announcement and the GPT-6 Astra launch; Claude Fable 5.1 and Mythos 5.1; Gemini 3.8 Flash; Qwen3.8-Max-0902; Latent Recurrent Thoughts; MASkills; thinking-effort alignment in abductive reasoning; NVIDIA's Hugging Face acquisition; NVIDIA's gold-medal competitive-programming post-training work; and a statistical theory of Mixture-of-Experts.
    続きを読む 一部表示
    46 分
adbl_web_anon_alc_button_suppression_t1
まだレビューはありません