Hacker News Reader

Comment by vouaobrasil | Hacker News Reader

This is making mathematics too systematic and mechanical, and it kills the joy of it....

It's killing the joy in everything else, so why not?

At least we can all wait tables and sell crap at convenience stores when it takes over our jobs.

You're giving examples of difficult and boring jobs while there will surely still be fun jobs to be done like plumbing, dangerous construction work or prostitution

this comment reminds me of that Feynman quote about others thinking scientific knowledge removes the beauty from a flower. of course Feynman disagreed

Feynman isn't a god and he didn't conceive of AI.

Von Neumann pretty much was a god, and even as early as 1945, he was explicitly assuming that neural models were how things in the computing business would eventually shake out.

The rest of us are just a little slow to catch up, is all.

Even if he did predict what would happen, it doesn't mean it's a good thing. von Neumann was a great prodigy but he was also a freak in a way, being able to enjoy the peak of very advanced technical things, which is not necessarily a good thing for the rest of us.

It didn't kill chess

It did partially, which is why top players are nowadays playing Freestyle (chess 960) more and more.

Every game becomes boring once figured out. I personally like to explore "meta" on my own. Once I know it I leave game to others as it's usually boring to me.

I think meta is basically experimentally determined constrains that limit reasoning tree and make problems computable/easy. LLMs/AI needs to start figuring something like this out on their own to make progress. RL kinda does it but maybe there's a better way.

To add to this. Scientific progress seems to slow when some of these constraints are incorrectly defined leading or blocking valid search trees, which suggest that humanity determines then but also wrong sometimes. Thus we need to really on formal proofs that are 100% reliable as well and revisit these constraints from time to time.

It applies to science as to law etc.

Reply on news.ycombinator.com