OpenAI's Secret Model Just Solved 10 Unsolved Proofs

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