• richmondez@lemdro.id
    link
    fedilink
    English
    arrow-up
    20
    ·
    5 days ago

    Seems the proof more or less already existed and the LLM helped the researchers find it and demonstrate it applied to the problem they were researching? Basically doing grunt work literature searches that grad students might have done in the past.

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

      Good point. The article does talk about how Ragavan failed to find the solution a couple of years earlier, but the AI was able to find Broadbent’s paper that "gave it on a silver platter.”

      Almost seems like the “smarter” people like Broadbent come up with the more novel revolutionary ideas, then others find ways of applying it to the rest of the world. And AI is able to do the latter as well.