Odaily Planet Daily reports that OpenAI has released research findings indicating that its next-generation AI model, Astra, has made progress in mathematics and theoretical computer science, encompassing areas such as high-dimensional geometry, coding theory, group theory, quantum complexity, post-quantum cryptography, and extremal combinatorics. The ten published results include: the high-dimensional sphere packing problem, binary and spherical coding problems, the non-sofic group problem, the Connes rigidity conjecture, arithmetic circuit complexity, quantum parallel repetition, the closest vector problem, the Ehrhart volume conjecture, multicolor Ramsey numbers, and extremal graph theory conjectures.
According to the report, these results were derived using an internal version of the Astra model, with approximately $2,000 in computational costs (based on Sol API pricing) incurred during the search for solutions. Subsequently, human researchers used the same model to assist in compiling the findings into a paper and generated verifiable proof certificates using the Lean formal proof system.