OpenAI Says It Has Cracked One of Math’s ‘Millennium Problems’

The company’s announcement is the most dramatic sign yet that artificial intelligence is fundamentally transforming the field of higher mathematics.