Braid

A few hundred dollars a proof, and the long argument about what machines are for

Listen Later

A frontier lab proves nine decades-old math problems for a few hundred dollars each, two talks make the numeric case that the cheapest agents route work to the smallest model that can do it, a lawsuit names an individual researcher over how Llama's training data was sourced, and a papal encyclical argues about AI on the terms of work and dignity. Eight things worth knowing today, told one developer to another.

  • DeepMind's AlphaProof Nexus clears nine open Erdős problems — Lean-verified proofs, a few hundred dollars apiece.
  • "You don't need GPT to zoom for you" — Callosum's numbers on routing subtasks to smaller models.
  • The token-efficiency turn — ThePrimeagen on why the org paying retail eventually does the math.
  • Inside how DeepMind runs its own agents — worse quotas than customers, a Darwinian skills library, and skepticism about MCP.
  • The lawsuit that names a name — Hobbs v. Meta, an individual researcher, and the internal dissent in the record.
  • Simon Willison on publishing GPT-4's retired architecture — the guesswork behind the water numbers.
  • Jujutsu and the pile of laundry — making a mess on purpose, then sorting it at the end.
  • Filming your chores for the robots — where the embodied-AI training data is actually coming from.
  • Pope Leo XIV's AI encyclical — technology is never neutral, and what no machine replaces.
    • ...more
    View all episodesView all episodes
    Download on the App Store
    BraidBy Lenar Kess · Damra Vol