In brief OpenAI said Tuesday its internal AI model produced a Lean-verified proof that the Navier-Stokes fluid equations can “blow up,” using 10,000 coordinating AI agents over 88 hours. Hours earlier, NYU mathematician Tristan Buckmaster accused OpenAI’s Sébastien Bubeck of learning about his and Anthropic researcher Levent Alpöge’s unpublished, related proof and pressuring them over credit before the announcement. OpenAI, Bubeck, and CEO Sam Altman deny the account; Bubeck posted texts he says prove he offered Buckmaster’s team the option to publish first. OpenAI said Tuesday its internal AI model just solved one of the biggest questions in math research—but…

Today’s guest is C.J. Ciaramella, a Reason reporter whose new cover story traces 250 years of American efforts to build a more humane prison system and the recurring failures that followed. Nick Gillespie talks with Ciaramella about how the penitentiary system began as a humanitarian alternative to corporal punishment and quickly descended into brutality. They trace the evolution of American prisons through convict leasing, forced labor, overcrowding, and mass incarceration, and discuss why many state correctional systems are now approaching a breaking point. They also discuss the collapse of the bipartisan criminal justice reform movement, what Ciaramella learned from visiting…

AI & Crypto

Read More

Politics

Don't Miss!