Noam Brown· @polynoamial · X·· 2026-08-01AI 评分75
AI 导读
OpenAI 下一代模型家族 Astra 的内部版本解决了数学、量子复杂性和理论计算机科学领域的 10 个重大开放问题，包括计算永久式的新电路下界。OpenAI 认为这将是科学推理领域的一大步。
正文 · 原文
An internal version of Astra, @OpenAI’s next major model family, solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science.
We believe it will be a major step for scientific reasoning. https://openai.com/index/ten-advances-in-mathematics/
10 proofs from our next major model Astra on long-standing open problems in mathematics and theoretical computer science (also including new circuit lower bounds for computing the permanent!) GPT-5.6 has already enabled so much exciting work in math and science. Can’t wait to see what comes next!在 X 查看被引用的帖子
来源：Noam Brown · x.com