Hacker News

New stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. Migrating the GitHub Copilot Runtime to Rust, Using Copilot(github.blog ↗)
    discuss
  2. RoboHarm: Do Frontier Robot Policies Refuse Unsafe Instructions?(robocurve.org ↗)
    discuss
  3. Chat-based Large Language Models replicate the mechanisms of a psychic's con(softwarecrisis.dev ↗)
    discuss
  4. An Ode to the Owl: The Inside Story of Psygnosis(timeextension.com ↗)
    discuss
  5. The Millennium Problems for Biology(millenniumproblems.bio ↗)
    discuss
  6. Outer Billiards on the Penrose Kite: Compactification and Renormalizaiton(arxiv.org ↗)
    discuss
  7. WrathBench − an Agent Workbench for World of Warcraft(shard.page ↗)
    discuss
  8. Big Tech uses guarantees to keep $300B AI exposure off balance sheets(ft.com ↗)
    discuss
  9. Densha de Go(wikipedia.org ↗)
    discuss
  10. The First Nolan Movie: The Odyssey and the world after men change it(firstrand.co.za ↗)
    discuss
  11. The Shaky Evidence That Flock Cameras Reduce Crime Rates(reason.com ↗)
    discuss
  12. Claude Code is getting native AGENTS.md support(github.com/anthropics ↗)
    discuss
  13. Open-source AI PR reviewer that helps you ship(nitpicker.dev ↗)
    discuss
  14. An Agent's Breath. The Heart Beats by Itself, Breathing Is a Choice(piotrzientara.pl ↗)
    discuss
  15. If you are browsing in Chrome / Firefox in desktop you should try this extension(chromewebstore.google.com ↗)
    2comments
  16. The Cornetto Ice Cream Cone Framework for Prompting(hazn.com ↗)
    discuss
  17. Ternary-Bonsai-8B-Gguf(huggingface.co ↗)
    discuss
  18. How Efficient Is Each Type of EV Charger? (2024)(insideevs.com ↗)
    discuss
  19. Show Your Work(jagasantagostino.com ↗)
    discuss
  20. Tactile controls in a digital world (2024)(jenson.org ↗)
    discuss
  21. Ask HN: What to focus on in this age of AI
    1comments
  22. If AI coding is lowering your code quality, you're not managing quality right(i-kh.net ↗)
    21comments
  23. Humans Are the Only Real Agents(aboard.com ↗)
    discuss
  24. velocity content marketing(briefiq.io ↗)
    discuss
  25. The Ma of a New Machine(jenson.org ↗)
    discuss
  26. Germany's green developers hit a wall: Insolvencies, tighter credit(briefs.co ↗)
    discuss
  27. Apache Cassandra 6 Accord transactions: What you need to know(instaclustr.com ↗)
    discuss
  28. Underclass: An OpenAI-compatible pooling proxy that pins sessions to one account(github.com/ghuntley ↗)
    discuss
  29. Romanian Crime Rings Are Draining U.S. Welfare Accounts(wsj.com ↗)
    1comments
  30. Scott Jenson: Are we going to use the same Desktop UX forever? [video](youtube.com ↗)
    1comments

Why Do We Need Human Mathematicians Anymore?

17 pointsby 1h agoterrytao.wordpress.com
7 comments
19m 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".

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

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

8m agoHN ↗

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

We're building tools to serve the human society.

5m agoHN ↗

Why Do We Need Human Mathematicians Anymore?

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