Smithsonian Leader Is Resigning After Clashes With Trump

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