OpenAI Says It Has Cracked One of Math’s ‘Millennium Problems’ (nytimes.com)

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