• kromem@lemmy.world
    link
    fedilink
    English
    arrow-up
    29
    arrow-down
    3
    ·
    20 hours ago

    Now, after release, here’s an example of the initial thoughts of someone who had spent time on one of the solved problems:

    Mathematician impressions of Barnette Conjecture solution

    • ImgurRefugee114@reddthat.com
      link
      fedilink
      English
      arrow-up
      51
      ·
      edit-2
      20 hours ago

      I think people really need to understand the “it just took a bunch of public work and connected the pieces” isn’t a gotcha for LLMs: it’s one of the sales pitches. The cross-discipline general knowledge combined with the ability to churn huge datasets to find connections across already-known work, and extrapolate to or derive novel findings, is exactly one mode of superhuman success that AI companies have been trying to achieve.

      The bigger issue is that they may be camping human efforts then kill-stealing the last hit on the boss by burning millions of dollars to get a proof a few days/weeks/months earlier than when it would have happened without AI. Basically, waiting for problems to be all-but-formally solved, then beating the researchers to the punch; like the recent Millenium controversy

      • FauxLiving@lemmy.world
        link
        fedilink
        English
        arrow-up
        4
        arrow-down
        5
        ·
        13 hours ago

        The cross-discipline general knowledge combined with the ability to churn huge datasets to find connections across already-known work, and extrapolate to or derive novel findings, is exactly one mode of superhuman success that AI companies have been trying to achieve.

        Exactly.

        Like in the quoted picture, there’s not a huge amount of people who have deep knowledge of Number Theory and the number of them who are also similarly versed in the math behind Quantum Physics could probably be counted on one hand and those people only have so much time.

        Meanwhile, the only limitation in creating these AI systems is in how much RAM/compute we can manufacture.

        • demonsword@lemmy.world
          link
          fedilink
          English
          arrow-up
          1
          ·
          6 hours ago

          Meanwhile, the only limitation in creating these AI systems is in how much RAM/compute we can manufacture.

          You need large volumes of high quality training data too, which are btw much harder to come by now

    • limer@lemmy.ml
      link
      fedilink
      English
      arrow-up
      6
      arrow-down
      17
      ·
      20 hours ago

      Making things very obscured is not a proof.

      The guy is politely saying it’s nonsense

      • ExLisper@lemmy.curiana.net
        link
        fedilink
        English
        arrow-up
        7
        arrow-down
        1
        ·
        10 hours ago

        It sounds more like when AI won in Go for the first time. People were looking at the game and saying “humans don’t play like that, we don’t understand those moves”.

      • BassTurd@lemmy.world
        link
        fedilink
        English
        arrow-up
        23
        ·
        19 hours ago

        I don’t think that’s what’s being said. More like the complexities of the solution are taking a while to understand because it is a complex solution using complex math. Even the smartest people in their fields can’t always look at a solution and at a glance understand everything without truly digesting what they’re seeing.

        • limer@lemmy.ml
          link
          fedilink
          English
          arrow-up
          3
          arrow-down
          3
          ·
          20 hours ago

          it’s a pretty inconclusive statement , and can be interpreted.

          Post here when he and others say it’s correct