An internal OpenAI Astra model solved 10 major open math and CS problems
Summary
An internal Astra model from OpenAI reportedly solved 10 long-standing open problems in mathematics, quantum complexity, and theoretical CS, signaling advances in AI-driven scientific reasoning. The post references GPT-5.6 enabling related work and hints at progress in math and science.