Also, OpenAI says it solved one of math’s “Millennium Problems.” Here’s the latest at the end of Tuesday.