‹ BackHN Continuity

Thread

We're gonna need a lot more mathematicians

407 points · 504 comments · srcreigh

  1. pyridines · · focus · HN ↗
    > Before approving construction, I would want communities of humans to understand why the design works and what justifies confidence in its safety. I would hope that we all would.

    Until very recently, I pored over every single line of code Claude generated with razor sharp scrutiny. I would usually catch issues with every response. I'm catching fewer problems these days. Maybe the model is just getting better, and maybe I'm being less careful while under pressure to ship more and more often. But model capability is obviously growing. Even back in March, you could tell it "give me a function that adds two numbers" and you could be 100% confident that it would write the correct function. There was almost no point in looking at the code. Since then, the complexity floor of problems in the category "this is so simple that the model couldn't possibly get it wrong" is rising, and with it, my cognitive surrender to the model is increasing too. Why check it? It's obviously going to be correct.

    If AI designs a terawatt fusion plant, then of course we're going to meticulously pore over every detail to ensure safety, reliability, efficiency, whatever. If we find no flaws in the design whatsoever, will we be less careful about the second one? The third one? What about the ten thousandth one? Will "a nuclear fusion plant" become something that models couldn't possibly get wrong?

    Terence Tao is arguing that the human involvement in research is crucial, but doesn't convincingly justify why, in my opinion. He says that "human agency is a value of fundamental importance" and that we will need to build "thriving human communities that can understand [AI ideas] together" - not for the sake of correctness, which AI may surpass us on, but for, I guess, the possibility of reclaiming human meaning and purpose. I don't disagree with this at all, but it's not an argument, it's a statement of values. Unfortunately, the stark reality is that if AI does surpass humans, it will become the economically dominant strategy to not verify them and not double check them, but to just do whatever they say. This seems like a great way to raise p(doom). But as the models get better and better, and as I'm scrutinizing Claude's output less and less... I just hope that there are more Terence Taos out there than people like me.

    1. jazzprogramming · · focus · HN ↗
      > If AI designs a terawatt fusion plant, then of course we're going to meticulously pore over every detail

      But suppose some future holy grail AI can do much more than that.

      Suppose it could find a cure for cancer, fix the climate, build fusion plants, Dyson spheres and so on.

      But nobody can understand anymore how any of it works. We just ask and then trust the AI to deliver (as it always has).

      Isn't it fun to imagine how life would look like in that scenario?

      We would probably no longer care about code, engineering or even physics and mathematics among other things. We would probably mainly care about

      1. ElProlactin · · focus · HN ↗
        This is how most people already live.

        The average person doesn't know how the medication they take works, the mechanics of climate and climate change, how the energy they consume is generated, etc.

        1. msdz · · focus · HN ↗
          Very interesting point. I think the counter-argument to that is that the complex modern society is based on somewhat “deterministic” systems, in that, even if a single decision or event isn’t rationally explainable in the moment, at least in the aftermath, it typically becomes understandable, maybe even reproducible. There is someone, somewhere, capable of explaining, maybe even multiple someones.

          We don’t generally have that insurance with LLMs/AI, yet?

          1. fn-mote · · focus · HN ↗
            This seems to me like asserting everything in the universe is explicable by physics. It may be technically true, but still not relevant to understanding earthquakes.

            (Don’t bother to argue this not true unless you disagree with the essence of the argument.)

            Anyway, post-hoc explicability isn’t a counter-argument to the assertion that almost everyone takes almost all technology as magic, from medicine to computers.

            I’m still trying to understand your argument. Are you saying that after the fact we understand AlphaGo move 37? But somehow we are never going to understand an LLM’s decision afterwards? Seems like a disconnected take to me.

Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.