From the article:

On Tuesday, OpenAI deluged mathematicians with hundreds of new findings that span a wide swath of topics including algebra, number theory, theoretical computer science, mathematical logic and topology.

The 377 results follow OpenAI’s announcement last month that it had succeeded in cracking the Navier-Stokes equation — one of the so-called Millennium Problems, which were considered so challenging that a $1 million reward was offered for each solution.

[...]

Like the Navier-Stokes result, the new mathematical solutions used a more advanced A.I. model that has not been released publicly.