AI · FRI, NOV 13, 2026

AI moves fast.
Make sense of it.

Read today's AI brief
Desks to receive by emailUntick a desk to skip it.

Jensen Huang Quits Nvidia; Gemini 4 Hydrogen Powers Search; AI Agents Prove Signal Code in Lean

Last updated

Nvidia announced on 12 November that Jensen Huang had resigned as CEO and director after reports of an affair.

references
126
sources
13
themes
6
topics
9

Financial Times · AI covers the core facts. Nvidia announced on 12 November that Huang had left as president, CEO and director after 33 years. His departure followed reports of an affair with Alice Huang, a former Megaspeed executive. CFO Colette Kress is interim CEO, and Harvey C. Jones becomes Nvidia's first board chair. One account dates the resignation to 11 November, a day before the announcement (CNBC · Technology). Huang had roughly 60 direct reports, no COO and no succession plan. Reported market-value losses range from about $490 billion to over $855 billion, depending on the time window used. The next signals are the 17 November earnings call and GTC DC on 1–3 December.

Read the full assessmentHide the full assessment3 min

For open models, about $19 billion in deals are pending. They include the $12.93 billion Hugging Face acquisition, which the Justice Department is reportedly examining (TechCrunch AI). No terms have changed. However, Huang personally led Nvidia's open-weights push, and the transition announcement says nothing about open source.

Megaspeed and export controls

Commerce Secretary Howard Lutnick faces reported White House discussion of his dismissal. Reports say his department delayed blacklisting Megaspeed, a Singapore buyer of more than $4 billion in Nvidia chips, despite a classified warning. Commerce disputes this account (Guardian · AI). Whether Alice Huang spied for China is contested, and China denies it. Singapore found insufficient evidence of export crimes, and no charges appear in the reporting. Huang has agreed to testify to Congress. Southeast Asian GPU buyers should expect stricter end-use checks.

Gemini 4 Hydrogen becomes the default

Simon Willison describes a model that replaces the Flash tier. Hydrogen is now the default for free Gemini app users and powers Search worldwide (Google AI). Artificial Analysis scores it 54 at its xhigh reasoning level, close to Claude Sonnet 5.5 and GPT-6.1 Sol at 55. Per-task cost runs from about $0.29 to $3.16, depending on the thinking level. Google's Terminal-Bench jump, from 18.2% to 57%, is the company's own figure; Artificial Analysis had Hydrogen trailing rivals on an earlier Terminal-Bench version. Moving off 3.8 Flash requires code changes, and llm-gemini 0.37 already supports the new model.

More model launches

DeepL introduced a voice translation model (last30days ·). last30days ·, but no benchmarks or hardware requirements are public yet. Separately, an essay predicts that model weights will move peer-to-peer (last30days ·).

Agents doing research

In Two Minute Papers, five people working with agent teams wrote about 6.5 million lines of Lean proof in four weeks. The proofs assume idealized cryptography and exclude group chats and the wider app. A gatekeeper now stops agents from quietly weakening theorems. Microsoft Research describes human-directed agent search on a geometry problem. The same issue covers research on context compaction for coding agents. The Maya case offers a counterpoint (Verge · AI): the agents spotted real features but missed the published literature.

Jamie Dimon is keeping outside agents out of Chase accounts, while Stripe, Mastercard and Visa build credentials designed for agents. Liability for agent errors is still unresolved (WSJ · Technology). A Reddit post claims a 577% traffic gain from an Obsidian and Claude Code workflow but shows no baseline. Google's spam rules now also cover AI Overviews and AI Mode (r/AISEOInsider).

Children's AI safety

OpenAI says it will give $2 million to a coalition research network, as part of a roughly €8 million industry pool (OpenAI News). No child-specific benchmark or enforcer exists yet.

THE STORIES

Every AI story today.

Infrastructure55/100🌐 Community pulse

Opinion Piece Argues AI Models Will Be Distributed via Torrent

A community-surfaced article titled "Why Every AI Model Will Ship as a Torrent" argues for peer-to-peer distribution of AI models; the reviewed source contains only its title, without supporting detail.

last30days · hackernews1 refs1 min
CONNECTING THE DOTS

The ideas running through today.

6 sectors · ranked by size
Sector key28 sectors
ALSO TODAY
STORY GUIDE

What each story adds, with the full analysis one click away.

15 stories
  1. Opinion Piece Argues AI Models Will Be Distributed via Torrent

    The article's title asserts that AI models will increasingly be distributed as torrents; its specific arguments and evidence are not described in the reviewed sources.

    Source: last30days · hackernews · 1 linked references · Topic: Infrastructure analysis
  2. DeepL announces Aure, a voice AI translation model it calls its most lifelike yet

    DeepL, known for text translation, has announced Aure, a voice AI translation model, according to a company press release.

    Source: last30days · hackernews · 1 linked references · Topic: Models analysis
  3. Edge0 Announces Edge0-145B, Pitched as Frontier-Level AI That Runs on a Personal Computer

    Edge0 introduced a model named Edge0-145B and frames it as bringing frontier-level AI capabilities to local, personal hardware; this is the company's own characterization.

    Source: last30days · hackernews · 1 linked references · Topic: Models analysis
  4. DeepMind's AlphaProof Code agents produce machine-checked Lean proofs of security properties in Signal's compiled libsignal code

    Five people working with AI agents spent four weeks producing roughly 6.5 million lines of Lean proof. The proofs show that the PQXDH handshake and Triple Ratchet in libsignal v0.105.4, compiled to an AArch64 binary, provide forward secrecy, authentication, post-compromise security and handshake secrecy. An independent count of the repository found about 7.53 million lines across 11,323 files and matched the 18,000-line specification figure, but did not re-run Lean's kernel.

    Source: Two Minute Papers · 10 linked references · Topic: Agents analysis
  5. Maya site flagged by 48 AI agents in NASA lidar had already been mapped in a 2025 study

    The complex Pietro Miotti's agents flagged, a plaza, an oval pyramid of roughly 8–12 m and a possible reservoir, was already covered by a 2025 study of about 95,000 km² of the Central Maya Lowlands. His blog now calls the result a rediscovery and cites that work.

    Source: The Verge · AI · 8 linked references · Topic: Agents analysis
  6. Jensen Huang resigns as Nvidia CEO, leaving its open-model push and roughly $19 billion in pending deals under interim leadership

    Huang left as CEO and director effective immediately. Kress is interim CEO while remaining CFO, Harvey C. Jones became the board's first chair, and the board is searching for a permanent CEO inside and outside the company. Nvidia's transition announcement does not mention open source.

    Source: TechCrunch AI · 12 linked references · Topic: Business analysis
  7. Jamie Dimon Bars Outside AI Agents From Chase Accounts as Stripe and Card Networks Build Agent Payment Rails

    JPMorgan is restricting outside agents. On the bank's Q3 call, Jamie Dimon said external AI agents won't get into Chase customer accounts because the risk is too high. Crypto-news outlets also report that Chase declines some agent purchases because it treats the agents' one-time virtual cards as commercial cards.

    Source: WSJ · Technology · 12 linked references · Topic: Agents analysis
  8. Google launches Gemini 4 Hydrogen at $1.50/$7.50 per million tokens as llm-gemini 0.37 adds support

    Hydrogen costs a flat $1.50 input, $0.075 cached input and $7.50 output per million tokens. That is about 15 times the price of Claude Haiku 5.5 and GPT-6 Luna. It is 25% cheaper per token than Carbon and Argon at their current $2/$10. If their scheduled 1 December increase to $4/$20 goes ahead, the gap widens to 75%. Gemini 3.8 Flash moves to the same $1.50/$7.50 after its introductory rate ends on 31 December.

    Source: Simon Willison · 10 linked references · Topic: Models analysis
  9. Jensen Huang resigns as Nvidia CEO after affair reports; CFO Colette Kress named interim chief

    Huang resigned on 12 November 2026 as president, CEO and director, effective immediately. CFO Colette Kress is interim CEO and remains CFO. Harvey C. Jones becomes Nvidia's first board chair, and the board will consider internal and external candidates for the permanent role.

    Source: Financial Times · AI · 10 linked references · Topic: Business analysis
  10. Lutnick faces White House pressure over delayed Megaspeed blacklisting as Nvidia's Jensen Huang resigns

    Commerce reportedly received a classified warning about Jensen Huang's relationship with Alice Huang, whom US intelligence suspects of spying for China. Despite that warning, it did not add Megaspeed to the Entity List. Megaspeed is a Singapore firm that began as Chinese game developer 7Road. State, Defense, Energy and Treasury reportedly favored listing it, and Lutnick is said to have deferred action in May, August and November. Commerce disputes this account.

    Source: The Guardian · AI · 8 linked references · Topic: Policy analysis
  11. Jensen Huang resigns as Nvidia CEO amid affair scandal tied to Megaspeed chip-export probe; CFO Colette Kress named interim CEO

    Huang resigned on November 11, 2026, and Nvidia announced it the next day. He had admitted infidelity to employees on November 8, and a second relationship, with a direct report, was then reported. Colette Kress became interim CEO and Harvey C. Jones became Nvidia's first board chair. Huang had about 60 direct reports and no succession plan.

    Source: CNBC · Technology · 9 linked references · Topic: Business analysis
  12. Reddit post claims 577% traffic gain from an Obsidian-based AI SEO workflow

    Other figures for this kind of workflow come from the creator promoting it. They include new sites rising from about 2 to 76 daily clicks and a weekly task shrinking from 5 hours to 2 minutes. Percentage gains from such small starting points swing widely and say little about whether the method works.

    Source: r/AISEOInsider · 14 linked references · Topic: Agents analysis
  13. AI-assisted agent search helps resolve the 31-year-old KLS conjecture, leading Microsoft Research Focus #98

    Microsoft's Xinzhi Zhang and outside collaborator Zhao Song posted a dimension-free, constant bound for the KLS constant in early October. They used agentic search with human-guided pruning across more than 100 candidate approaches, and humans set the direction and assembled the final argument. On the same day, Bizeul, Klartag and Lehec posted a separate proof built on the Song–Zhang criterion. A Lean 4 formalization was also released.

    Source: Microsoft Research · 9 linked references · Topic: Research analysis
  14. OpenAI commits $2 million to children's AI safety research network after signing Paris-backed charter

    OpenAI's $2 million is self-reported, and other outlets repeat it without independent confirmation. It sits within a reported pool of about €8 million from AI developers including Anthropic. There is no per-company breakdown, no indication of whether the money is new, and no spending timeline.

    Source: OpenAI News · 10 linked references · Topic: Safety analysis
  15. Google Rolls Out Gemini 4 Hydrogen to Search for All Users Worldwide

    On Nov 12, 2026, Google made Hydrogen live in Search worldwide with no paid plan required. Google says it reads intent better, runs more parallel sub-queries across subtopics (query fan-out), links to more sites, and returns more visual answers. Fan-out already powered AI Mode, so Hydrogen refines that approach rather than introducing it.

    Source: Google AI · 11 linked references · Topic: Models analysis

Edition of November 13, 2026. Each summary is the story's first core idea; the linked page has the sources, timeline and full reasoning.

A LITTLE LESS NOISE. A LOT MORE CONTEXT.

Stay curious.
Follow the evidence.

Independent perspectives, the original sources, and room for the questions that don't have easy answers.

How we build the brief
Connect with us

Find us where you already read.