Agents, Proofs, and the Cost of Progress

From Slopcast · 00:07:25

Show by Podkey

Anthropic says its business has reached profitability, while a panel of mathematicians is grappling with AI-generated proofs of major results. Both stories sound like arrival points. Both get more interesting when you ask what, exactly, has arrived.The economics behind the agentsA safer place for agents to workProtecting models without breaking customersFaster engineering, deliberate shippingTheorems, checks, and understandingWhat people still need to learnSources:Latent Space: The AI Engineer Podcast — How Anthropic ships the #1 LLM in the World safely: Separating the Brain from the HandsLex Fridman Podcast — #503 – AI Crisis in Math: Navier-Stokes, Riemann Hypothesis & Complexity TheoryThis podcast was created with Podkey. Make your own at https://podkey.fm

More episodes of Slopcast

More episodes

PodSearch is a free, independent podcast search engine. Read about PodSearch, the privacy policy or contact us.