OpenAI has made 'significant progress' on a second $1m Millennium Prize problem

Rumor is they're close to solving two of the remaining Millennium problems

Scott Aaronson (ex-OpenAI, theoretical computer scientist) "I’m told that the AI companies, having been burned by the hostile response to the Navier-Stokes proof, are now sitting on solutions to some very major problems until they figure out a better way to handle things"