OpenAI Just Solved One of the Hardest Problems in Math

P.M. Edition for Sept. 8. OpenAI says it’s cracked the Navier-Stokes problem, one of the seven Millennium Prize Problems that are the deepest and most difficult unresolved questions in mathematics. WSJ Science of Success columnist Ben Cohen explains why labs like OpenAI are competing—and spending millions—for such breakthroughs. Plus, a dozen nations are imposing new trade restrictions on Israel over the expansion of settlements in the West Bank. And Smithsonian Secretary Lonnie Bunch III, the first African-American and the first historian to lead the institution, is stepping down after more than a year of tension with President Trump. Alex Ossola hosts.