OpenAI announces the results of ten mathematical research problems using its Astra artificial intelligence model
OpenAI has stated in a press release that the internal version of its Astra AI model has found solutions to ten research problems in mathematics and computing, in areas such as geometry, group theory, operator algebras, quantum complexity, cryptography and combinatorics, amongst others. According to the company, the total number of tokens — basic units of information — required to solve these problems would cost around $2,000. OpenAI expresses “deep respect and understanding” for those concerned about the impact of AI on these disciplines, including the signatories of the Leiden Declaration on AI and Mathematics; and states that the attribution of results must honestly reflect how each one was obtained, whilst encouraging the mathematical community to review them. The company is publishing these results openly in a paper, accompanied by the model’s account of its reasoning process.