cross-posted from: https://hexbear.net/post/9497419

The Millennium Problems are a set of the most important open problems in mathematics. so far only 2 have been solved: the Poincare Conjecture by Grigori Perelman in 2010 and today OpenAI released this https://openai.com/index/navier-stokes-solution/

The only problem is, that their AI didn’t even come up with the solution itself. Mathematicians working on the same problem recently made big strides in solving the Navier Stokes equations, and their chat logs were scraped and used in training data before they could release the proof themselves.

Here is the unpaywalled statements of the Mathematician: https://mastodon.social/@tristanbuckmaster/117233413705701198

Western AI companies have been tackling a bunch of open problems and techbro chuds cannot shut up about it, this is just Marketing and the fact they have to steal real people’s work to do so just proves it. They really want that IPO moneyyy capitalist-laugh

  • Zerush@lemmy.ml
    link
    fedilink
    arrow-up
    0
    ·
    edit-2
    15 days ago

    Steal their work? well, but mathematician worked a lot of years on the problem without a solution, means that their work wasn’t correct. Apart scientific papers are accessible by everyone, not only AIs. Maybe the mathematicians have to think a little more about teamwork, storing their work locally or encrypted, instead claims about copyright and AI stealing their work. But the capabillity of AIs is to be able to find interrelations between millons of datas in hours, something for what humans need decades to do the same. That is the point and also the danger of AI, it get the data it needs from everywhere and web content is open, AI don’t have any ethics or respect of copyrights, all web content is information as is. All you put online is public (or everything online) by definition, there isn’t any copyright to avoid it.

  • mystic-macaroni@lemmy.ml
    link
    fedilink
    arrow-up
    0
    ·
    16 days ago

    Woah. Navier Stokes has been solved? That’s a huge deal. And fuck openai for undercutting the people who made it possible.

    • onceandfuturealice@lemmy.world
      link
      fedilink
      arrow-up
      0
      ·
      15 days ago

      From what I’ve read, the Millennium prize proposition was basically “Prove it holds in all cases (sounds to me like a closed form solution), or prove it doesn’t hold in all cases”, and the proof published by OpenAI proves the latter, i.e. that Navier-Stokes does not hold in some extreme cases.

  • Fmstrat@lemmy.world
    link
    fedilink
    arrow-up
    0
    ·
    11 days ago

    I asked whether the model had been trained on, or had access to, our sessions in Codex, into which we had been putting all our drafts for the whole of this project. I was told the model did not look up user data. I asked again, about training, and I did not get an answer."

    I mean, you kept something secret in Codex. A product purpose built to gather training data. What did you think would happen?

      • hirihit640@sh.itjust.works
        link
        fedilink
        English
        arrow-up
        0
        ·
        15 days ago

        surveilling users? chats are fed into the training data, I believe this is stated pretty clearly on every chat, something like "your chats are used to improve the model’