According to CoinMeta, OpenAI announced that its unreleased model ‘Astra’ has successfully solved 10 mathematical problems that no one has been able to solve in decades. These problems cover quantum complexity, post-quantum cryptography, and group theory. All ten proofs have been officially verified, and the cost is about 2000 dollars in tokens.