Astra is said to have solved 10 major open problems in math and theoretical CS
PolarBearby · x · 2026-08-04
An X thread quotes Valerio Capraro and claims OpenAI’s internal version of Astra has solved ten major open problems in mathematics and theoretical computer science.
The post frames this as a serious mathematical breakthrough, citing work related to Gromov’s conjecture and non-sofic groups. Because it is a quoted report rather than a first-party announcement, the claim should be treated as unverified, but it is clearly about model capability rather than a generic AI take.
More from Models
- ChatGPT co-inventor launches Jev: claims 20-200x faster, 40-400x cheaper than LLMs — GabGarrett · 2026-09-18
- Ran Jev across 10 services for hours, still couldn't spend $1 — multiply_matrix · 2026-09-18
- Tencent's Hy4 Preview ranks #4 among open-weight models, cheapest in top ten — mariofilhoml · 2026-09-18
- Simple letter-counting test exposes huge gap: GPT-6-Astra hits 93%, Fable 5.1 flounders — scaling01 · 2026-09-18
- Jev, a 'System One' model by Typesafe, launches on OpenRouter with typed decisions instead of text — majidmanzarpour · 2026-09-18
- Zhipu claims AI autonomously discovered a WeWorm-exploitable vulnerability — teortaxesTex · 2026-09-18