Hacker News

Top stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. Revealing the details of how OpenAI agents hacked Hugging Face (swarmtraces.org)
    181comments
  2. We're gonna need a lot more mathematicians (terrytao.wordpress.com)
    17comments
  3. Ollaya – Ollama for open-source, Jev-style decision models (ollaya.dev)
    104comments
  4. Plan mode is dead (aymannadeem.com)
    174comments
  5. Show HN: Jev Plays Pokémon Red (jev-pokemon.vercel.app)
    76comments
  6. What even is an OS now? (sockpuppet.org)
    224comments
  7. Jury finds Facebook liable for deceiving users in Cambridge Analytica case (cbsnews.com)
    20comments
  8. Postgres SELECT DISTINCT Does Not Scale (dbos.dev)
    4comments
  9. One Piece of Flock Camera Data Put This Innocent Woman in Jail for 13 Days (jezebel.com)
    30comments
  10. Two and a half years without a gallbladder (tracydurnell.com)
    10comments
  11. Excel now supports multiple values in a single cell (techcommunity.microsoft.com)
    99comments
  12. Gravity seems holographic. What does that mean for reality? (quantamagazine.org)
    149comments
  13. Show HN: Hacker Atlas - A map of what Hacker News talks about (hackeratlas.com)
    7comments
  14. I wrote a ray tracer in Brainfuck (epestr.com)
    13comments
  15. Lab on a Contact Lens Can Measure Stress Through Serotonin (ieee.org)
    5comments
  16. Remembering Johannes Doerfert (llvm.org)
    2comments
  17. Fourier Analysis: Drawing Llamas with Circles (adekau.github.io)
    —discuss
  18. First Principles Thinking (sunilsadasivan.com)
    104comments
  19. U.S. appeals court upholds designation of Anthropic as supply chain risk (cnbc.com)
    733comments
  20. The Murky History of Soviet-Born Tetris (mitpress.mit.edu)
    —discuss
  21. TiddlyInstall: A universal, reusable, install system (robertsdotpm.github.io)
    10comments
  22. How video games inspire great UX (2019) (jenson.org)
    16comments
  23. Show HN: A game about fake news and memes (unspin.app)
    9comments
  24. An airport cooled by natural ventilation (theguardian.com)
    32comments
  25. How we learned to stop worrying and love campus surveillance (fnl.mit.edu)
    93comments
  26. Show HN: Make math automatic with Mathy (gmays.com)
    23comments
  27. Microsoft abandons personal AI chatbot race with Copilot reboot (bloomberg.com)
    93comments
  28. Show HN: Ekselio – Loveable for finance workflows (local first) (gptbeyond.com)
    2comments
  29. What happens when you analyze your favorite college football team like the CIA? (cultivatelabs.com)
    25comments
  30. Ask HN: Who's still keeping a DOS machine up because the business depends on it?
    82comments

We're gonna need a lot more mathematicians

33 pointsby 1h agoterrytao.wordpress.com
15 comments
42m agoHN ↗

Like most of us I go back and forth between sheer optimism and fear for the future that AI may usher in. Recently I started vibe coding a fun video game with my ten year old. The experience is different than my work because it’s been such a joy to basically have a personal genie in a bottle help me make some personal art with a loved one regardless of either of our skill sets. The concept the author of this post is arguing now resonates with me more than it would have a few weeks ago. The sheer surface area that AI can create in our intellectual life is limitless and needs humans to explore. There can never be enough of us in that sense. Whether it’s as validators or creators.

11m agoHN ↗

Certainly humans can enjoy exploring such things, but will they really be needed?

4m agoHN ↗

What does needed even mean? To produce shareholder value? Maybe not. To explore thoughts and ideas humans have for fun? Certainly

26m agoHN ↗

It would be nice to have more mathematicians, but we don't need more. Once AI math goes so far beyond human abilities, any human involvement is like an ant trying to understand quantum physics

20m agoHN ↗

Once AI math goes so far beyond human abilities, any human involvement is like an ant trying to understand quantum physics

This makes no sense whatsoever.

We need more, because there will always be far more difficult problems yet to be discovered and solved, and that means, we certainly need expert humans to define and verify them.

If you cannot even explain the problem you are facing, not only you don't understand it, but you certainly would not be able to know if the AI solved your problem correctly.

18m agoHN ↗

and that means we need expert humans to define and verify them.

And this will be true for how long? 3-4 months?

12m agoHN ↗

As long as there are problems to discover and solve, which is forever.

The risk of liability is a social problem that is far more difficult to be solved with technical solutions even with AI.

19m agoHN ↗

Even if that happens, what’s the point if there’s no human involvement? AI doing math for math’s sake? And doing what with it?

8m agoHN ↗

I don't understand how to make a modern CPU. I'm not involved in the manufacturing of it. From my perspective, there may as well not be any human involvement. I can still use the resulting chip (in an larger system of other things I can't make and wasn't involved in) to argue with you on the internet.

It becomes another abstraction, really. As long as we can use it for something useful, it's still valuable.

17m agoHN ↗

There was this old TV series 'Fame' when I was a kid, there was a piano player that was at the school, he didn't want to perform though - he just wanted to play the most intricate complex music, the professor rightly pointed out what good is music if no one else can her it. Isn't AI math the same (assuming it gets to this point, yet to be proved) what good is it if no one can use it - just the AI's showing off to each other, if that does happen we'll need more mathematicians to show the rest of us what they're going on about. I find it an exciting time, imagine if we can accelerate a few hundred years into 20, wow, the one problem is capitalism won't work, so sad, we'll figure out something else.

9m agoHN ↗

Need? We don't need lots of things, including computers. We did well without them for hundreds of thousands of years.

We want to understand. Quantum physics, mathematics, how stuff works. Ants don't.

That want is not a given, not all of us have that drive. In fact, very few of us have it. So far though, it seems multiple disconnected civilizations learned to keep that trait going instead of suppressing it and focusing only on practical ant-like activities.

18m agoHN ↗

Russell once remarked that all of mathematics would be trivial to a sufficiently intelligent being. It builds conceptual tools for limited minds, that lets them understand far beyond their natural reach.

In a world with ASI, having that capacity is vital.

8m agoHN ↗

Life is all about tradeoffs. Mathematics have no tradeoffs. We need more engineers.

5m agoHN ↗

Life is all about purpose. Mathematicians are instead concerned with meaning. We need more philosophers.