OpenAI AI Model Achieves Mathematical Breakthrough: Releases Research Results on 10 Long-Standing Unsolved Problems in Cryptography, Quantum Computing, and More

Odaily News, OpenAI released research findings stating that its next-generation AI model, Astra, has made progress in mathematics and theoretical computer science, covering fields such as high-dimensional geometry, coding theory, group theory, quantum complexity, post-quantum cryptography, and extremal combinatorics. The 10 results published cover: the high-dimensional sphere packing problem, binary and spherical coding problems, non-sofic group problems, Connes rigidity conjecture, arithmetic circuit complexity problems, quantum parallel repetition problems, the closest vector problem, Ehrhart volume conjecture, multicolor Ramsey number problems, and extremal graph theory conjectures.

According to reports, these results were derived by an internal version of the Astra model, with the computational cost of finding solutions amounting to approximately $2,000 (calculated based on Sol API pricing). Subsequently, human researchers used the same model to help compile the results into papers and generated verifiable proof certificates through the Lean formal proof system.