OpenAI’s Astra model solved 10 open math problems: This is how we know it’s true

OpenAI is known to drop research bombs with no great announcement, and the newest one requires a closer look than just the ...