OpenAI's Astra model solves 10 major open math and CS problems
An internal OpenAI Astra model solved 10 major open math and CS problems
Noam Brown announced on X that an internal version of OpenAI's next major model family, Astra, has solved 10 long-standing open problems in mathematics, quantum complexity, and theoretical computer science, including new circuit lower bounds for computing the permanent. Brown believes this marks a major step for scientific reasoning, and the announcement has sparked widespread discussion and excitement.
An internal version of Astra, OpenAI's next major model family, solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science.
- HarHarVeryFunny
I feel like this kind of "result dump" just cheapens mathematics. How about having a little respect for those whose work this builds on, and current mathematicians some of who may have spent years working on these problems.
Rather than sitting on these results until they had enough for a "shock and awe" 10-result dump, how about releasing these results individually as they were made/verified, as well as the failures (equally valuable to assess the current capabilities of LLMs), and try to make some analysis of HOW these breakthrough results were made. What were the prompts for each of these, how much guidance was there from the mathematicians employed by OpenAI, and most importantly how did the model arrive at these results ... what lines of reasoning resulted it in exploring ideas that humans had previously not explored?
- sajithdilshan
I’m looking forward to the days where AI would help in tackling the problems in biology. Especially, on creating new drugs, enzymes and understanding the genetic diseases. An absolutely interesting time to live.
- sunandsurf
Does anyone else have trouble telling how much of this news (along with the 'AI escaping and hacking' stories) is genuine, vs how much is just AI firms overstating their capabilities due to strong commercial incentives?
- gpm
Henry Yuen's (whose work problem 6 builds on) comments on this are worth reading IMO: https://bsky.app/profile/henryyuen.bsky.social/post/3ms2jpch...
- anon373839
The LLM marketing loop is getting awfully long in the tooth. I saw a meme on Twitter the other day that showed a circular state diagram with something like:
> “GPT solved a math problem” -> “Claude solved a math problem” -> “GPT escaped the sandbox” -> “Claude escaped the sandbox” -> …