OpenAI · Research Paper
Ten Advances in Mathematics
An internal version of Astra produced ten new results on problems untouched for a decade or more, at roughly $2,000 of tokens each at GPT-5.6 Sol rates. The 249-page manuscript ships every proof with a machine-checkable Lean 4 certificate. Highlights include a non-sofic group answering a 1999 Gromov question and a counterexample to the Connes rigidity conjecture. Peer review pending.
Open the source ↗Similar Research & Safety releases
- Sleep framework for continual learning
Google Research (Ali Behrouz, Vahab Mirrokni) · Sleep-phase continual learning · Week 45, 2026
- OpenAI: working with academic communities on science
OpenAI · AI for science · Week 45, 2026
- Multimodal embeddings for personalisation at Netflix
Netflix (Emma Yanyang Kong et al.) · Netflix multimodal embeddings · Week 45, 2026
- PhotoGuard
MadryLab (Hadi Salman, Alaa Khaddaj, Guillaume Leclerc, Andrew Ilyas, Aleksander Madry) · Image edit protection · Week 45, 2026
- QwenGyre
Qwen · Agent RL Framework · Week 43, 2026
- Next-Concept Modeling
Stanford Hazy Research · Parallel Text Generation · Week 43, 2026
More from OpenAI
- OpenAI: working with academic communities on science
OpenAI · AI for science · Week 45, 2026
- GPT-6.1 Terra
OpenAI · Computer-use LLM · Week 45, 2026
- OpenAI Math Manuscripts
OpenAI · AI-Generated Mathematics · Week 42, 2026
- GPT-6 for Everyone in ChatGPT
OpenAI · ChatGPT Rollout · Week 42, 2026
- OpenAI Dots
OpenAI · Always-On ChatGPT Agents · Week 41, 2026
- OpenAI DevDay 2026
OpenAI · DevDay Recap · Week 41, 2026
Published by Quanta AI Labs, an AI agency in India. Browse every week in AI News Weekly.