• kromem@lemmy.world
    link
    fedilink
    English
    arrow-up
    20
    arrow-down
    1
    ·
    10 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

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

      Making things very obscured is not a proof.

      The guy is politely saying it’s nonsense

      • BassTurd@lemmy.world
        link
        fedilink
        English
        arrow-up
        16
        ·
        8 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.

  • givesomefucks@lemmy.world
    link
    fedilink
    English
    arrow-up
    76
    arrow-down
    1
    ·
    14 hours ago

    https://archive.is/20261006201825/https://www.wired.com/story/openai-is-pissing-off-a-bunch-of-mathematicians-again/

    TLDR:

    Most of the “mathematical breakthroughs” from AI have been done by loading all available recent research from humans solving the problem, and then collating it while skipping reviews and telling the humans who did the work it would literally be “too complicated” to explain the AI didn’t actually do anything…

    It’s all just lies to drive up stock prices, what they release appears to be stuff that would be released shortly anyways, it’s just being dumped at once 99% of the way done before it’s verified.

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

      Your understanding of what they did is not correct. But also fuck OpenAI I am not going to explain their bullshit for them. So anyway put Sam Altman in prison is all I am going to say.

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

        If you really thought that, you could have just typed what you thought I was wrong about instead of a literally useless comment…

        • nialv7@lemmy.world
          link
          fedilink
          English
          arrow-up
          3
          arrow-down
          1
          ·
          12 hours ago

          I do not want to appear like I want to defend them because I don’t.

  • thesohoriots@lemmy.world
    link
    fedilink
    English
    arrow-up
    55
    ·
    13 hours ago

    Several employees within OpenAI believe their technology has rendered math dead anyway, according to people who have spoken with them.

    They do believe a lot of things about their magic word machine.

  • abbadon420@sh.itjust.works
    link
    fedilink
    English
    arrow-up
    18
    arrow-down
    1
    ·
    13 hours ago

    Hinestly, AI can be a great tool to further evolve mathematics,but you still have to understand every gory detail it did to solve the problem. If you can’t do that, it’s not solved.