OpenAI's Astra model solves ten long-standing math problems using GPT-5.6 Sol
OpenAI has released solutions to ten mathematical and theoretical computer science problems that had seen no progress on their main results for at least a decade, using an internal version of its next major model, Astra.