OpenAI claims solution to one of math’s $1 million Millennium Prize problems · Briflio