4 votes

OpenAI releases findings on 377 math problems, further roiling field

2 comments

  1. skybrian
    Link
    Apparently the most important result is a proof of the "Unique Games Conjecture." Here's a 2011 article about it. To me it sounds like a good name for a band, but what do I know?

    Apparently the most important result is a proof of the "Unique Games Conjecture." Here's a 2011 article about it.

    To me it sounds like a good name for a band, but what do I know?

    2 votes
  2. skybrian
    Link
    From the article: [...]

    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.

    1 vote