Hacker News

New stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. The Bishop Ring Habitat(wikipedia.org ↗)
    discuss
  2. Show HN: Presence.el Online status and simple messaging for Emacs(andros.dev ↗)
    discuss
  3. Show HN: Airmash – HTML5 Multiplayer Missile Warfare(airma.sh ↗)
    discuss
  4. Ledger – walk-forward validation toolkit for retail trading strategies(walkfowardvalidationtoolkit.netlify.app ↗)
    discuss
  5. The best piece of art ever made? Enzo Mari's Autoprogettazione(medium.com/hannahparadisdesign ↗)
    discuss
  6. A window switcher that does nothing until you press Option(alexvestea.com ↗)
    discuss
  7. Build an Accessible Book Reader: A Raspberry Pi Scanner That Reads Printed Books(instructables.com ↗)
    discuss
  8. Claude Found Seed-indpendent collisions in most popular hash functions(thomasahle.com ↗)
    discuss
  9. Amtrak: A New Era of Rail Travel Has Arrived [video](youtube.com ↗)
    discuss
  10. The People–OK, the Men–Who Still Love Bitcoin(slate.com ↗)
    1comments
  11. Why Nothing Looks Cool Anymore [video](youtube.com ↗)
    discuss
  12. AAA AI – Autonomous AI agent squads for local and cloud LLMs(aaaai.me ↗)
    discuss
  13. King Ludd(astralcodexten.com ↗)
    discuss
  14. Self-generated prompt injections in compaction summaries(simonwillison.net ↗)
    discuss
  15. Show HN: A poetry site for developers – solve a code puzzle to post(developerpoetry.com ↗)
    discuss
  16. OpenSaga: Matching decompilation of the Lego Star Wars(opensaga.dev ↗)
    discuss
  17. Windows turned months of inactivity into a 7-hour update hostage situation(theregister.com ↗)
    discuss
  18. Turn off Apple Intelligence in macOS 27(discussions.apple.com ↗)
    1comments
  19. Ground Effect Vehicle(wikipedia.org ↗)
    discuss
  20. Security Review Scope for Daml: Coverage, Methods, and EVM Comparison(hacken.io ↗)
    discuss
  21. Auto approve pull requests with Jev(github.com/metalbear-co ↗)
    discuss
  22. How ISIL is using Big Tech's AI to build bombs(aljazeera.com ↗)
    discuss
  23. Migrating the GitHub Copilot Runtime to Rust, Using Copilot(github.blog ↗)
    discuss
  24. RoboHarm: Do Frontier Robot Policies Refuse Unsafe Instructions?(robocurve.org ↗)
    discuss
  25. Chat-based Large Language Models replicate the mechanisms of a psychic's con(softwarecrisis.dev ↗)
    discuss
  26. An Ode to the Owl: The Inside Story of Psygnosis(timeextension.com ↗)
    discuss
  27. The Millennium Problems for Biology(millenniumproblems.bio ↗)
    2comments
  28. Outer Billiards on the Penrose Kite: Compactification and Renormalizaiton(arxiv.org ↗)
    discuss
  29. WrathBench − an Agent Workbench for World of Warcraft(shard.page ↗)
    discuss
  30. Big Tech uses guarantees to keep $300B AI exposure off balance sheets(ft.com ↗)
    1comments

Why Do We Need Human Mathematicians Anymore?

33 pointsby 2h agoterrytao.wordpress.com
27 comments
59m 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".

54m 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).

46m 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.

48m agoHN ↗

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

We're building tools to serve the human society.

37m 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

15m 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.

11m 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

24m 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.

17m agoHN ↗

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

7m agoHN ↗

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

well that's an awful image

10m agoHN ↗

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

11m 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.

46m agoHN ↗

Why Do We Need Human Mathematicians Anymore?

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

38m 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.

25m agoHN ↗

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

43m 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.

32m 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.

32m agoHN ↗

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

32m 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.

11m 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.

7m 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.