According to newly disclosed information, the unreleased model (possibly GPT-6) has solved ten long-standing open problems in mathematics, quantum complexity theory, and theoretical computer science, including the first explicit non-sofic group and the refutation of the Connes rigidity conjecture. The core arguments were generated by Astra and formally verified in Lean, producing a 249-page manuscript and machine-verifiable certificates. The token cost for a single successful solution, at Sol API rates, is approximately $2,000.
OpenAI's unreleased model solves 10 long-standing math problems
TechFlowShare
Summary
OpenAI’s unreleased model, possibly GPT-6, solved 10 major mathematical problems, including the first explicit non-sofic group and a disproof of the Connes rigidity conjecture. The work, supported by Astra and formalized in Lean, produced a 249-page manuscript and machine-verifiable proofs. Long-term investment in AI-driven research could benefit significantly from such breakthroughs. Each solution cost approximately $2,000 in token usage at Sol API rates.
Source:Show original
Disclaimer: The information on this page may have been obtained from third parties and does not necessarily reflect the views or opinions of KuCoin. This content is provided for general informational purposes only, without any representation or warranty of any kind, nor shall it be construed as financial or investment advice. KuCoin shall not be liable for any errors or omissions, or for any outcomes resulting from the use of this information.
Investments in digital assets can be risky. Please carefully evaluate the risks of a product and your risk tolerance based on your own financial circumstances. For more information, please refer to our Terms of Use and Risk Disclosure.