OpenAI has revealed Astra, an unreleased model designed to tackle complex, long-running tasks, after an internal version produced ten significant advances in mathematics and theoretical computer science.
In a new research post, OpenAI described Astra as "our next major model" and said the problems had seen no progress on their central results for at least a decade, and in most cases, much longer.
According to OpenAI, its internal research focused on a wide range of areas, including high-dimensional geometry, coding theory, arithmetic circuit complexity, group theory, quantum complexity, lattice cryptography, and extremal combinatorics.
OpenAI also says it's advancing rapidly in science.
Some examples include the existence of non-sofic groups, a disproof of Connes’s rigidity conjecture, new bounds for high-dimensional sphere packing, and results resolving several problems posed by mathematician Paul Erdős.
