The fact
The company targets one of the seven Millennium Prize Problems, each worth one million dollars.
If validated, this breakthrough would mark a first for artificial intelligence in pure mathematics.
8 sources — click a link to read an article on the topic: