OpenAI says an internal version of its next model, Astra, solved ten mathematical and computer science problems that had seen no progress on their main result for at least a decade, in a link post from Simon Willison relaying OpenAI's announcement. Six days later, OpenAI said it can no longer rule out that Astra reaches the Critical threshold for cyber capability under its own Preparedness Framework. The two disclosures describe the same underlying shift: verifying an answer
