TechFlowPost reported on Aug. 1, citing newly disclosed information, that an unreleased model called Astra — possibly GPT-6 — has reportedly solved 10 long-standing open problems across mathematics, quantum complexity, and theoretical computer science. The disclosure said the set includes the first explicit non-sofic group and a result overturning the Connes rigidity conjecture. According to the report, Astra generated the core arguments, which were then formalized in Lean, producing a 249-page manuscript along with machine-verifiable certificates. The token cost for a single successful solution was estimated at about $2,000 under Sol API pricing. OpenAI has not formally released the model referenced in the disclosure.
TechFlowPost reported on Aug. 1 that newly disclosed information points to an unreleased model named Astra, possibly GPT-6, as having solved 10 long-standing open problems in mathematics, quantum complexity, and theoretical computer science.
The disclosure said the results include the first explicit non-sofic group and a finding that overturns the Connes rigidity conjecture. Astra reportedly produced the core arguments, which were later formalized in Lean, resulting in a 249-page manuscript and machine-verifiable certificates.
Based on Sol API pricing, the token cost for one successful solution was estimated at roughly $2,000.
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.
