US labs are 2-3 generations ahead of the frontier models that are public. You can deduce that from openAI's statement that the last mathematical proof was performed by a model significantly more advanced than Astra. The proof itself is about 100 pages and took months to verify.>>
Sep 13, 2026 · 1:44 AM UTC


