
OpenAI's internal model, Astra, has reportedly solved 10 longstanding problems in mathematics and computer science, including some that have remained unsolved for nearly 30 years. Among the achievements, Astra proved the existence of non-sofic groups and solved Alain Connes’s rigidity conjecture. The solutions were verified using Lean, and the computational cost was approximately $2,000. This development highlights the potential of AI to tackle complex problems at a fraction of the traditional cost, sparking discussions about the future role of AI in scientific discovery.
Read original