OpenAI has quietly unveiled that its next major family of AI models will be called ‘Astra’, and claimed that an internal version of one such model cracked ten long-standing unsolved mathematical problems, signalling a major leap in AI reasoning. These problems relate to a wide range of mathematical topics, such as high-dimensional geometry, coding theory, arithmetic circuit complexity, group theory, operator algebras, quantum complexity, lattice cryptography, and extremal combinatorics. The AI-generated mathematical proofs were later prepared into manuscripts by humans with each argument formalised in a Lean certificate, according to OpenAI. It further said that it will be publishing the model’s narration of its thinking process for each solution. Do you think that new knowdge and expertise is dimishing day by day with AI evolution ?
