Title: OpenAI Teases Astra: Solves 10 Long-Standing Math Problem...
URL Source: https://www.bestblogs.dev/status/2083579533391777935?amp%3Butm_medium=feed&%3Butm_campaign=resources&%3Bentry=rss_article_item
Published Time: 2026-08-01 23:44:06
Markdown Content: Skip to main contentAudio 2 
Search Ctrl+K
Change language Switch ThemeSign In
Curated Daily BriefWeekly PicksTopics SettingsHelp CenterCollapse
Narrow Mode
OpenAI Teases Astra: Solves 10 Long-Standing Math Problems with Only $2,000 in Compute Costs
OpenAI Teases Astra: Solves 10 Long-Standing Math Problems with Only $2,000 in Compute Costs
 歸藏(guizang.ai)@op7418
OpenAI 感觉翻身了啊，已经在预热他们的下一代模型Astra。
他们用这个模型解决了 10 个至少存在了十年的数学问题。
这些问题如果是数学家解决的话，感觉这数学家已经相当牛逼了；
而解决这一堆非常难的问题，算力成本居然只有 2000 美元。
Sam 亲自飞到华盛顿去跟美国政府沟通这个模型的发布，感觉这玩意儿会很顶，不知道是 GPT-6 还是 GPT-5.7 Show More
#### Sebastien Bubeck
@SebastienBubeck · 1d ago
yes, nonsofic groups exist: this statement is one of many new beautiful results proved by Astra, our next major model.
We're releasing 10 such Astra proofs, complete with lean certificates and CoT walkthroughs for each of them. The results are wide-ranging, from von Neumann algebras (disproof of Connes' Rigidity Conjecture) to better bounds for high dimensional sphere packing, for circuit complexity, for monochromatic triangles in multicolored graphs, and more.
More thoughts here: openai.com/index/ten-adva…Show More
244
856
5,953
2.9M
Aug 1, 2026, 3:44 PM View on X
55 Replies
9 Retweets
134 Likes
54.2K Views 歸 歸藏(guizang.ai) @op7418
Follow
One Sentence Summary
An OpenAI researcher revealed that the next-generation model Astra has solved at least 10 math problems that have been open for over a decade; the author thinks OpenAI could make a strong comeback with it.
Summary
The tweet quotes Sebastien Bubeck's post, saying OpenAI's next-generation model Astra has solved at least 10 math problems that have stood for over a decade, complete with Lean certificates and CoT walkthroughs. The author adds that Sam Altman personally went to Washington to coordinate the release, and speculates it may be GPT-6 or GPT-5.7. The tweet also includes the author's subjective assessment of how powerful the model appears to be.
AI Screening
88
Influence Score 51
Published Yesterday
Language
Chinese
Tags
OpenAI
Astra
Mathematical Reasoning
AI Models
Sam Altman
Make your daily reading actually fit you.A daily brief built from the sources you follow. Get started free HomeDiscoverSettings