OpenAI claims its AI model has solved an 80-year-old mathematical conjecture. The company made the claim in a public statement, though details about the specific conjecture and the proof have not been released.
The achievement, if confirmed, would mark a significant advance in the use of artificial intelligence for mathematical research. The field has seen growing interest in applying AI to theorem proving and conjecture generation in recent years.
Mathematicians and researchers will now look for a peer-reviewed verification of the claimed solution. The company has not indicated when further information might be shared.
