A ChatGPT AI has proved a conjecture with a method no human had thought of. Experts believe it may have further uses
  • dhork@lemmy.worldEnglish
    1 hour

    “The raw output of ChatGPT’s proof was actually quite poor. So it required an expert to kind of sift through and actually understand what it was trying to say,” Lichtman says. But now he and Tao have shortened the proof so that it better distills the LLM’s key insight.

    This tracks with what I have seen regarding AI. It looks superficially awesome, but when you start to analyze its output it has a lot of holes that require someone trained in the art to fix. You know, someone with years of experience, and who got that experience without the benefit of AI shortcuts.

    What happens 10 or 15 years from now, when all the current crop of experts are retired and all the experts who could have curated the AI output had to spend all that time as baristas instead because the AI took all of their entry level jobs?

    • d00ery@lemmy.worldEnglish
      38 minutes

      Lol, capitalism & CEO rule 1: only think about the next quarter profits, fuck the future, I’ve already made my money

    • Lexam@lemmy.worldEnglish
      56 minutes

      Why didn’t they just ask ChatGPT to summarize it for them? /s

      • Zwuzelmaus@feddit.orgEnglish
        40 minutes

        If you have your steak a little burnt already, then you can’t fix that with more heat.

        • hume_lemmy@lemmy.caEnglish
          29 minutes

          That’s when you ask chatgpt how to un-burn the steak! It probably involves glue, or perhaps sunblock.

        • Lexam@lemmy.worldEnglish
          23 minutes

          I see you too have eaten my father in law’s steaks.

  • Yaky@slrpnk.netEnglish
    45 minutes

    This reminds me of a story my graph theory professor told me (long before LLMs). One of their grad students discovered that a subset of graphs that are of type A and B at once has fantastic properties, such as fast searching, and a few others, useful in communication networks etc.

    Excited about their potential thesis, student asked the professor to take a look. After calculating which graphs actually are types A and B at the same time, professor found that the intersection of such graph types is a null set. So the theoretically nice graphs the student “discovered” simply do not exist.