‹ 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. andrepd · · focus · HN ↗
      > my cognitive surrender to the model is increasing too. Why check it? It's obviously going to be correct.

      I use "frontier" AI models daily at day_job. I can confidently say that anyone who is satisfied with the output of LLM code (enough to commit it straight off) is just an absolutely shit programmer. Sorry but I don't have any other way to put it.

      The code is (with rare exceptions) atrocious on every level. It is only not atrocious if you take multiple iterations of "review and correct".

      >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?

      Like the saying goes, if my grandmother had wheels she would have been a bike. LLMs can't even produce quality maintainable code for a trivial web service or whatever. Why are we planning for what we will do when they can "design" 10,000 nuclear power plants without any flaw?

      1. Lord-Jobo · · focus · HN ↗
        Yeah I was honestly stunned to read “obviously the code is going to be correct so why check it” be the most upvoted comment on this website. Are we even using the same product? These things constantly shit out plausible code that is riddled with errors and bad ideas. if you just copy, paste, and run without looking there’s gotta be a 30% rate of failure to run, piles of terminal errors.

        Do programmers use this website anymore? Me, myself, I am a DOGSHIT amateur programmer and even I can tell these things are terrible without constant revision and oversight.

Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.