OpenAI's Unreleased Model Astra Solves Ten Major Open Mathematics Problems thezvi.substack.com 3 points by paulpauper 2 days ago · 2 comments Reader PiP Save ChrisArchitect 2 days ago More discussion: https://news.ycombinator.com/item?id=49157930