OpenAI's Astra model solved 10 open math problems and disproved an 80-year-old conjecture, with implications for crypto security and AI-driven

OpenAI is building a new model family called "Astra" that would let multiple agents tackle complex problems together for hours or even days. CEO Sam Altman has already demoed…

OpenAI's refutation of the Unit Distance Conjecture has sparked a wave of AI-assisted advances in mathematics. Fields Medal winner Timothy Gowers says GPT 5.6 Pro solved two…

Eight or nine misconceptions about Astra. See if you can spot the biggest fallacy.