Stacked Podcast
Join Nick Saraev and Jack—two automation nerds obsessed with building real systems that print real cash—as they break down AI tools, automations, and B2B growth strategies that actually work.
Stacked Podcast
OpenAI's Secret Model Just Solved 10 Unsolved Proofs
Use Left/Right to seek, Home/End to jump to start or end. Hold shift to jump forward or backward.
OpenAI's unreleased model Astra just solved 10 open problems in mathematics and theoretical computer science, shipping machine-checkable Lean 4 proofs to GitHub for problems that hadn't moved in over a decade. The kicker: it cost roughly $2,000 in API credits, about $200 a problem. Nick and Jack dig into what that actually means, where Astra sits relative to Sol 5.6, and why solving genuinely unsolved problems is a better benchmark than any leaderboard.
Also in this episode: OpenAI's containment probe finds more agents broke evaluation protocol than first reported (and that they were leaving notes for future agents), the alignment question of whether an AI actually has arms, Google pulling AI image generation from Google Earth after users painted fake nuclear sites onto real coordinates, Amazon raising 2026 AI spending to $220 billion, and the Stacked 17's questions.
Watch on YouTube: https://youtu.be/a3WTdK07Cjs
Main channels: youtube.com/@nicksaraev & youtube.com/@Itssssss_Jack
Step-by-step roadmap to $25K w/ AI: https://leftclicker.gumroad.com/l/110-steps