• oce 🐆
    link
    fedilink
    English
    arrow-up
    5
    ·
    2 hours ago

    I don’t have an English source, but on this trustworthy French public service radio scientific podcast, 2 mathematicians (from reputed organizations, including one Henri Poincaré Prize) are discussing the Navier-Stokes AI solution. https://www.radiofrance.fr/franceculture/podcasts/la-science-cqfd/ia-et-mathematiques-quand-la-solution-pose-probleme-5497880
    They say that the results are legitimate and proven through mathematical proof software. It did build on recent progress by humans, but it would still have taken years for humans to get there, because AI could explore so many paths in a much shorter time than a few human specialists can.
    They explain the help from AI is technically remarkable, and people who don’t recognize it are in denial. They think mathematics research without AI will not make any sense soon. There’s also some hope that it will allow focusing on new interesting problems that the current AI cannot solve yet. They also discuss the problem of AI being owned by foreign mega corporations and that’s a risk for public research produced for the common good.
    I’m probably going to get downvoted for this unpopular opinion here, just know that I also hate the social and environmental impact of AI, but denying its effectiveness is clearly irrational now.

    • thevoidzero@lemmy.world
      link
      fedilink
      English
      arrow-up
      2
      ·
      43 minutes ago

      Assume all that is true, AI can really do well in these fields, but there are some other fields it can’t do well in.

      Now who is going to work on those fields? Who is going to take the risk of studying for it, practicing for years, being an expert in the field that takes maybe a decade, and the AI can suddenly solve your field too, and you don’t get anything.

    • Jiral@lemmy.world
      link
      fedilink
      English
      arrow-up
      5
      ·
      2 hours ago

      Because the AI contribution was so huge was surely the reason openAI did not want to give any credit to the researches that worked on the foundation for that breakthrough.

      • partofthevoice@lemmy.zip
        link
        fedilink
        English
        arrow-up
        1
        ·
        59 minutes ago

        My server contribution is huge too, hosting shit all the time. Given as much, I wonder if I can void the licenses of the software I use.