0909 | Proofs, Parameters, and the Pushback

From a formal Lean proof of Navier-Stokes tangled in a credit dispute, to a two-trillion-parameter model running off SSDs, DeepMind mapping nine billion genetic variants, Europe's biggest AI round, and governments pushing back on algorithms: a fast tour of the week in AI, science, and the open web. Timeline: 00:00:04 Opening 00:00:45 Navier-Stokes: a Lean proof and a credit war 00:06:27 Faster, bigger, squeezed: LLMs at the edges 00:12:27 Sovereign money meets open-weight risk 00:15:22 Predicting the genome, ranking the cities 00:17:57 Agents that build: PCBs, workflows, video 00:21:23 Trust under pressure: surveillance and concentration 00:25:28 Inherited stories, inherited biases, and quiet software 00:29:03 Closing View episode details → https://bri.so/show/episode/01a08452-c0c0-7279-a7d5-3245b4b64885 This episode is produced by Bri. Bri uses advanced AI technology to turn the feeds you care about into podcasts made for listening. https://bri.so Contact us at [email protected].