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

原始链接: https://twitter.com/polynoamial/status/2083467194663571701

OpenAI researcher Noam Brown and colleague Lijie Chen have announced that an internal version of "Astra," the company's next major model family, has successfully solved 10 significant open problems in mathematics, quantum complexity, and theoretical computer science. These breakthroughs include new circuit lower bounds for computing the permanent and represent a substantial advancement in AI-driven scientific reasoning. The researchers view this development as a pivotal step for the future of computational discovery, noting that this generation of models—referred to as "GPT-5.6"—has already begun to accelerate complex research in math and science. The announcement has generated significant buzz within the scientific community, highlighting the model's potential to transcend traditional academic bottlenecks.

Post

Log in Sign up

Noam Brown
@polynoamial
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. openai.com/index/ten-adva…
Lijie Chen
@wjmzbmr1
Aug 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
8:17 AM · Aug 1, 20268.6MViews
steve
@benmoha
21h
Made with AI
Teknium 🪽
@Teknium
22h
But can it finally check my email without losing its mind
shame-faced crabs
@ShameFacedCrabs
Aug 1
Mathematicians furiously working to disprove conjectures in 2026
00:00