An internal OpenAI Astra model solved 10 major open math and CS problems

AI 中文解读

核心亮点：OpenAI下一代模型家族Astra的内部版本，一口气解决了数学和计算机科学领域10个长期悬而未决的难题。通俗解读：相当于给AI请了一位“天才数学家”外援，那些困扰全世界顶尖学者多年的“烧脑”难题，在它手里像是被逐个破解的拼图。这厉害之处在于它不是靠死记硬背，而是像人类科学家一样一步步推导证明，展示出强大的逻辑推理能力。实际影响：这意味着AI不再只是聊天写作的“文科生”，而是拥有了深入钻研基础科学的“理科脑”。未来，这种能力有望加速新药研发、材料设计甚至芯片优化，普通人或许能更快用上性能更强悍的科技产品；同时，它也能充当科研工作者的“超级外脑”，帮他们验证猜想、开拓思路，让科学发现的速度像坐上了火箭。

Noam Brown@polynoamialAn 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. openai.com/index/ten-adva…Lijie Chen@wjmzbmr18月1日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 Show more8:17 · 2026年8月1日877.9万Views69021551.5万5520