OpenAI Astra

Astra (да не се бърка с мултимодалния проект Project Astra на Google DeepMind) е следващото голямо поколение изкуствен интелект на американската компания OpenAI, загатнато в началото на август 2026 г.

Семейството модели Astra е разработено с фокус върху напреднало логическо мислене, автономни научни изследвания и решаване на сложни теоретични проблеми в области като математиката и компютърните науки. В първата си демонстрация моделът успешно реши или направи значителен прогрес по 10 дългогодишни отворени математически задачи, генерирайки напълно формализирани доказателства, проверени чрез интерактивния доказател на теореми Lean 4. Astra се явява наследник на методологиите за логическо разсъждение от сериите o1 и o3.