OpenAI put out something quiet but genuinely wild this week. An internal version of its next major model, codenamed Astra, solved ten math and theoretical computer science problems that nobody had made real progress on in at least a decade, and in some cases much longer. These are not homework problems. We’re talking high dimensional…