OpenAI’s Astra Model Claims to Solve Ten Long‑Standing Math Problems

OpenAI, the company that made ChatGPT, said its new AI model called Astra can solve very hard math puzzles that people have been trying to solve for many years.

The model found answers to ten different problems in areas like geometry, coding, and quantum science.

Scientists checked the answers by turning them into a special computer program called Lean, which can prove that every step is correct.

OpenAI said it cost about $2,000 of computer money to get each answer.

The math community will look closely to see if the solutions are truly correct.