16 comments

  • appplication 18 hours ago
    The interesting context: 1) this has nothing to do with LLMs 2) this is a pdf of a handwritten letter and 3) this was written by the unabomber
    • bananaflag 14 hours ago
      I would like to also know the date.
    • sandworm101 12 hours ago
      Yup. Few here read the article before jumping to the AI conclusion. Even fewer even know what Freedom Club was all about.
    • ButlerianJihad 18 hours ago
      Well, thank you for the context of (2) and (3), but you’re dead wrong about (1), because Kaczynski was uniquely qualified to accurately predict LLMs, and here is the proof, complete with an analogy of headstone carving.

      So this is our battle-cry: “Ted Kaczynski wasn’t wrong!”

  • manfromchina1 12 hours ago
    Does anyone have to understand AI output when it comes to math? Then that someone has to be trained in math. Yeah, for all intents and purposes that person is a mathematician. Maybe not the one who gets money for that in which case they are not a professional mathematician. Maybe these paid guys will disappear. However if AI keeps churning out new stuff nobody understands humanity will have to create a new category of employment for those who do to make sense of all that. Mathematicians, then, are back in the game again.

    One possibility is that AI keeps churning out new math and funnels it into other branches of science and engineering without any human input. At which point math becomes a black box. Maybe in that case human mathematicians might become obsolete. But then other branches will start becoming incomprehensible as well.

    • srean 12 hours ago
      Human Mathematics is what lives in the head of all of humanity, not a serialized proof of a theorem or conjecture. Yes the other kinds maybe useful, may even pay the bills, but as long as humans enjoy mathematics the human side will survive.

      People still go on runs although that's not what wins wars today.

  • imranq 12 hours ago
    Personally, I found that people are impressed with AI for subjects they simply don't understand, and when an expert works with AI, they're often underwhelmed. So while we're seeing some mathematics being automated and proved, I think there's a long way to go before we automate proofs with meaningful human value.
  • imranq 11 hours ago
    Transcribed letter (from chatgpt):

    Dear Mr.,

    In your letter of December 14, you ask me whether mathematics is a worthwhile endeavor. Mathematics absolutely is not a worthwhile endeavor! I can imagine only three possible reasons for studying mathematics:

    (1) Entertainment. (2) To promote technological progress. (3) To promote one’s own career.

    Reason (1) is harmless; but one doesn’t refer to entertainment as a “worthwhile endeavor”; it’s just a pastime.

    As for reason (2), modern technology is the worst thing that ever happened to the world, and to promote its progress is nothing short of criminal. Read Our Final Century, by Martin Rees; or read “Why the Future Doesn’t Need Us,” an article by Bill Joy that appeared in Wired magazine, April, 2000.

    As for reason (3), to choose mathematics as one’s career would be very risky. Not long ago I received a letter from a gravestone sculptor whose craft had been rendered obsolete by a laser-guided machine that carved gravestones automatically. He was in his forties, unable to find work, and depressed. Maybe you think that can’t happen to you if you become a mathematician. But you’re wrong. Martin Rees, Bill Joy, and many other distinguished experts believe that within a few decades machines will be developed that will be more intelligent than even the smartest human beings. When that happens, people will be obsolete; they will be phased out and will be replaced by computers and robots. This will happen to everyone eventually, but mathematicians probably will become obsolete before anyone else does, because mathematics is more amenable to computerization than any other field. Hence, computers probably will surpass humans in mathematics before they do so in other areas.

    Sincerely yours, Ted Kaczynski

    • tim333 10 hours ago
      He skips over understanding our world which is probably the reason most pure maths is done.

      The Joy article mentions is here https://www.wired.com/2000/04/joy-2/ by the way, and includes discussion of Kaczynski.

      • busyant 7 hours ago
        > He skips over understanding our world which is probably the reason most pure maths is done.

        I'm not sure I agree with this. I suppose it could be that we have different defintions of what "our world" means.

        You might like the quote below. I suspect you're arguing that most pure math is performed for option #2 below (utilitarian purposes). Like I said, I'm not so sure.

        In the temple of science are many mansions, and various indeed are they that dwell therein and the motives that have led them thither. Many take to science out of a joyful sense of superior intellectual power; science is their own special sport to which they look for vivid experience and the satisfaction of ambition; many others are to be found in the temple who have offered the products of their brains on this altar for purely utilitarian purposes. Were [someone to] drive all the people belonging to these two categories out of the temple, the assemblage would be seriously depleted, but there would still be some men, of both present and past times, left inside. Our Planck is one of them, and that is why we love him.

  • amelius 13 hours ago
    Remember, programming is a branch of mathematics.
    • TheOtherHobbes 12 hours ago
      Programming is the mathematical equivalent of brick layers looking at architects and saying "I could do that."
      • amelius 11 hours ago
        Using GenAI, they certainly can.
      • perching_aix 12 hours ago
        Do architects lay bricks often? Wasn't aware.
    • nextaccountic 12 hours ago
      computer science, yes, 100% a branch of math

      programming is more like communicating to a computer to convince them to do some task. has always been like this, and this will not change

    • renyicircle 8 hours ago
      There's a difference between "branch of mathematics" and "can be modeled using mathematics".
    • Llamamoe 12 hours ago
      In the same sense as pharmacology is a branch of physics. Technically, yes. Realistically the overlap is small and you don't need one for the other most of the time.
    • siva7 13 hours ago
      so is physics?
      • abstractbill 13 hours ago
        Theoretical physics, sure, ok. Not experimental physics though.
        • lioeters 12 hours ago
          That's arguable.
        • brador 12 hours ago
          That too. Statistics used to analyze results and turn them into conclusions.
          • Revanche1367 12 hours ago
            As my mathematical statistics professor told us on the first day, “statistics is not mathematics.” It’s a good idea to remember: if a branch of the subject x is called “mathematical x,” then x in general is not totally mathematical and can be studied to some extent without mathematics.
    • sandworm101 12 hours ago
      >> programming is a branch of mathematics.

      I saw a cryptographer interviewed. She was maybe 20yo and was working onboard a US aircraft carrier. Installing and managing cryptographic systems does not make one a cryptographer. Doing math via computer programing also does not make one a mathematician any more than driving a car makes one a mechanic.

    • ChrisGreenHeur 13 hours ago
      What’s the mathematical proof of this?
      • IngoBlechschmid 12 hours ago
        The Curry-Howard correspondence.

        For instance, in mathematics, we have A ⇒ A (every statement implies itself, for instance "if it rains, then it rains"); and analogously, in programming, we have the identity function of type A → A (which reads a value as input and outputs the same value).

        This is the tip of an enormous iceberg identifying, in a certain precise sense, proving with programming (and stating mathematical assertions with specifying the desired behavior of a program).

        However, programming is a bit more general than proving: Circular proofs are simply of no value, whereas looping programs can still be valuable. For instance, I for sure hope that the main loop of the browser I'm currently using to fill out this textbox does not prematurely stop.

        • mrob 12 hours ago
          >we have the identity function of type A → A (which reads a value as input and outputs the same value)

          That only exists in theoretical computer science. In real computer programming, you always have some bounds to the value of A.

  • tim333 10 hours ago
    He was a bit ahead of the trend. I think mathematicians may be able to use AI to explore distant areas of maths. It's not like it's finite.

    I would probably be more inclined to do serious maths now with AI assistance than before without as I'm not good enough to make decent progress. I've long been curious what the renormalization stuff in quantum mechanics is about and how to combine that with gravitation but it's way beyond my brain cells.

  • amelius 11 hours ago
    It's starting to look like the first profession on Earth will also be the last profession ...
  • fwlr 17 hours ago
    Very prescient from Uncle Ted.
  • amelius 11 hours ago
    Mathematicians can always switch to a career as a worker in a DRAM factory ...
  • sdevonoes 13 hours ago
    So many things he got right (except you know what)
  • TiredOfLife 8 hours ago
    Mathematicians were not obsolete already?
    • fittingopposite 6 hours ago
      Good point. At least 20+ years until you could see a start of what he describes in the letter. Wondering why this is really the case what he describes...
  • GPerson 17 hours ago
    It’s good to know Ted Kaczynski’s thinking is as lazy as every internet shit poster.
    • karmakurtisaani 13 hours ago
      It absolutely is. I once read a tiny part one of his manifesto, and it was full of weird leftist boogeymen without any justification. It made sense that he went ahead with terrorism rather than trying to argue his point peacefully.
      • lukan 8 hours ago
        Well, ask any person medical dependent advanced tech on whether they want to go back to a primitive life - and most obviously say no, as they would literally die. And also most other people like hot showers and refrigerators.

        So you cannot get far with peaceful discourse - so what do you do, if the self righteous anger is still boiling? Literally blow something up apparently.

        I mean I get the anger on careless destruction of wild nature. I feel it too. But bombs don't change that. They make it only worse.

        • karmakurtisaani 6 hours ago
          In Finland we had this guy Pentti Linkola, who was a very vocal advocate of abandoning technology and living simply. He didn't resort to terrorism, although he celebrated any event where a large number of people died.

          His impact was probably comparable to the unabomber, I.e., not much.

          • lukan 5 hours ago
            "If there were a button I could press, I would sacrifice myself without hesitating, if it meant millions of people would die."

            How charming. But did he factor in the consequences for nature of big catastrophic events? Humans tend to care even less about environmental protection when their survival is at stake.

            edit: but he did "founded the Finnish Natural Heritage Foundation (Luonnonperintösäätiö), which concentrates on preserving the few ancient forests still left in southern Finland and other nature conservation."

            "Linkola was announced as the winner of a poll conducted by the national broadcaster Yle to determine who had done the most to preserve Finland's natural heritage"

            So he did something that worked without bombs.

            • karmakurtisaani 3 hours ago
              He was also active in the early Green party, which might have had an impact of some kind. So yeah, maybe his influence was more significant than the UB's.
      • sambapa 12 hours ago
        Maybe the justification is in another part of this manifesto, but you were too lazy to read it.
    • n4r9 15 hours ago
      What does "amenable to computerisation" even mean? Typist used to be a job, but it's become computerised. Stuff like data entry is surely not for away.
  • metalman 14 hours ago
    cartographery and translation are vastly smaller professions than they were, that have been altered as to where and how they are practiced and going forward are vulnerable to bieng abused and manipulated if they fall under central controll with closed source software.
  • burnt-resistor 13 hours ago
    The Unabomber had semi-correct problem identification, but completely worthless prescription like else anyone unable to separate reality from fiction basing their ideas on a Hollywood revenge movie or becoming a crazy terrorist with a cause that maybe valid seeing themselves as "good guy freedom-fighters" but alienates and harms many. People might've been interested in helping to counteract the effects or sources of a problem if a change advocate approached them in a manner that was constructive, achievable, rational, and considerate. Instead, evil, lazy actions make the cause a pariah and its supporters enemies to most.

    He had infinite options he failed to exercise, like getting involved in the humanities (sociology, philosophy, law) and/or community building to do the groundwork necessary to contribute positive change rather than illusionary shortcuts to fruitless impact, needless suffering, and self-destruction.

    AGI is a canard. Too much money in electricity, servers, land, and technological advances would be needed to build and operate sufficiently capable digital reasoning. Domain-specific pseudo-intelligence task automation will continue here and there with LLMs, deep learning, and such, but no one is building just one "brain" for less than $5T and it probably wouldn't be very performant.

    Current AI is totally incapable of replacing expert human judgment for almost everything because they lack constraints, predictability, and reliability. Also, most models hallucinate worthless, incorrect answers so often that they should be relegated to glorified creative, entertainment, and task-acceleration work for the foreseeable future and not be given wildly-inappropriate power like giving a toddler a nuke. Furthermore, the appeal to LLM authority fallacy is a dangerous trend of unthinking, laziness of people failing to think skeptically and find sources for themselves. Finally, too many laypeople and wild-eyed techbros are projecting and imagining AI capabilities that aren't really there and may never exist, but then making much bigger mistakes of irrational, risky bets on their preconceived conclusions, and telling us we should worship the billionaires, accept layoffs, accept panopticon surveillance, accept their loud, polluting data centers in our literal backyards.. for what good?

    • bs439 13 hours ago
      Its already replacing human experts. Watch the bond market self off currently happening in US. Driven by hordes of AI agents doing thousands of things faster than experts can blink. The experts at the Treasury tried to react at traditional human speed. Within a day the agentic horde detected the moves and counter reacted. Its like watching chimps throwing stones at a hurricane. The chimp troupe is quite unconcious about the randomness and surprises ahead.
      • donkey_brains 13 hours ago
        High frequency trading has been a reality for decades. What’s different now?
        • dist-epoch 12 hours ago
          HFT strategies are simple. They are also static (they can re-fit, but fundamentally remain the same).

          Putting LLMs in the loop now gives you reactive strategies. The agents can see the reaction of the market and adjust or change direction.

          This creates complex feedback loops that can't be understood at human speed.

          • anon-3988 9 hours ago
            > HFT strategies are simple. They are also static (they can re-fit, but fundamentally remain the same).

            What makes you say this?

      • burnt-resistor 12 hours ago
        Replacing people willy-nilly with AI is a stupid fad that won't work the way they think it will in most instances. AI doesn't impart judgment, constraints, reasoning, or correctness so far the way a human can and likely never will because AGI is a fantasy. Owners and managers will only learn this lesson after they suffer failure from their own stupidity and recklessness.

        Another angle is excuses for mass layoffs are continuation of the Powell memo neoliberalism agenda of suppressing wages by keep workers desperate and partly a consequence of rising interest rates since there's no more free money.

        Workers need to stop depending on megacorps for stability and form worker-owned co-ops that compete with and supplant unstable, mercurial megacorps.

    • paganel 12 hours ago
      > o fruitless impact,

      His impact has not been fruitless, to the contrary and case in point, we're now discussing about him in here and in other similar places. Had he chosen the lame road of becoming a humanities thingie nothing of his legacy would have remained.

    • applfanboysbgon 13 hours ago
      > People might've been interested in helping to counteract the effects or sources of a problem if a change advocate approached them in a manner that was constructive, achievable, rational, and considerate.

      I mean this is just obviously and flagrantly untrue, eg. Greta Thunberg became a culture war boogeyman for half of the political spectrum over significantly more moderate views expressed in exactly the way you describe. If anything, acting like a bitch just emboldens the type who cause problems to cause more problems when they see these signs of weakness and zero will to resist them, as we see happening with acts of complete irrationality like Trump making a war against fucking wind turbines a top priority of the US government's agenda.

      When you tell people they're protesting the wrong way, you're really just saying "I don't want to hear your complaints. Make them in a way that doesn't bother me so I can ignore them".

      • donkey_brains 13 hours ago
        I generally agree with you, but I do think that terrorism is objectively the wrong way to protest. I’d say the Unabomber’s victims and their families were slightly more than “bothered”.
      • superze 12 hours ago
        He said you can change the world by becoming a lawyer. This is such a funny take.
        • burnt-resistor 12 hours ago
          Becoming a lawyer or getting a polisci degree is typically a stepping stone to becoming an elected official by understanding how the system of laws operates in order to change them. Bernie Sanders, for example. People like Darline Graham who don't know anything about anything and are there for feelings of nepotism shouldn't hold office... and I sure hope neither Hunter Biden nor Trump kids ever win office either. Elected office needs competency and requisite experience for the job first.
      • burnt-resistor 13 hours ago
        You're cherrypicking polarization as a counterexample against trying to be better. No one figure is going to appeal to all people, but actively pushing away a sizable fraction with negativity is the surest way to carry water for being divided-and-conquered.

        If people aren't willing to listen to constructive feedback that maybe they are protesting or evangelizing a cause less effectively than they could be, then that's their ego and stupidity. Sensible people may have mentors and can evaluate feedback from all sources to pick through it for useful bits.

        > acting like a bitch

        Chill out and take your culture war flame bait elsewhere. https://news.ycombinator.com/newsguidelines.html