OpenAI said its next-generation AI model, Astra, has produced research advances across mathematics and theoretical computer science, according to an official announcement cited by ChainCatcher. The work spans high-dimensional geometry, coding theory, group theory, quantum complexity, post-quantum cryptography, and extremal combinatorics. OpenAI listed 10 results, including work on high-dimensional sphere packing, binary and spherical codes, non-sofic groups, the Connes rigidity conjecture, arithmetic circuit complexity, quantum parallel repetition, the closest vector problem, the Ehrhart volume conjecture, multicolor Ramsey numbers, and an extremal graph theory conjecture. OpenAI said the derivations were completed by an internal version of Astra, with compute costs of about $2,000 based on Sol API pricing. Human researchers then used the same model to help turn the results into papers and generated verifiable proof certificates through the Lean formal proof system.
OpenAI said its next-generation AI model Astra has made advances in mathematics and theoretical computer science, according to an official announcement cited by ChainCatcher. The work covers high-dimensional geometry, coding theory, group theory, quantum complexity, post-quantum cryptography, and extremal combinatorics.
Ten results disclosed by OpenAI
OpenAI said the 10 results involve high-dimensional sphere packing, 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 an extremal graph theory conjecture.
Compute cost and proof verification
According to OpenAI, the derivations were completed by an internal version of Astra, and the compute cost of finding the solutions was about $2,000 based on Sol API pricing. Human researchers then used the same model to help organize the work into papers and generated verifiable proof certificates through the Lean formal proof system.
This article was originally published by Bit.Fan. For more cryptocurrency news and market insights, visit www.bit.fan. Disclaimer:
The market information, project data, and third-party content displayed on this platform are for industry information sharing only and do not constitute any form of investment advice or return commitment.
Cryptocurrency trading carries high risks. Users should fully assess their risk tolerance and make independent decisions. All profits, losses, and legal responsibilities are borne by the users themselves.
