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

Odaily Planet Daily News: OpenAI released research findings stating that its next-generation AI model, Astra, has made progress in the fields of mathematics and theoretical computer science, covering areas such as high-dimensional geometry, coding theory, group theory, quantum complexity, post-quantum cryptography, and extremal combinatorics. The 10 published results address the following: the high-dimensional sphere packing problem, binary and spherical coding problems, the non-sofic group problem, Connes' rigidity conjecture, arithmetic circuit complexity problems, the quantum parallel repetition problem, the closest vector problem, the Ehrhart volume conjecture, the multicolor Ramsey number problem, 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 estimated at approximately $2,000 (based on Sol API pricing). Subsequently, human researchers used the same model to assist in compiling the findings into papers and generated verifiable proof certificates through the Lean formal proof system.