There is a failure to understand that the process is the result. You don't study mathematics or computer science and information theory to produce commodities. You study them to transform your mind. The output of an LLM is useless without a human mind to comprehend it. We can have Super Intelligence, but if humans are incapable of comprehending it, it is just another useless dead artifact. Practice, applied over a lifetime, is what creates the capability for comprehension. Asking an LLM to give you an answer creates an artifact. Humans being humans, most of their requests boil down to "make me rich without having to work for it," so the request itself is paradoxical and impossible to satisfy. Philosophers have only been saying this for all of human history, so don't hold your breath for any breakthroughs.
For math, the value of proving a theorem is often not proving the theorem (which most people already believe correctly to be true or false), but the path taken there, the new math invented, and how it can be applied to other problems. The end result is therefore almost inconsequential in moving math forwards.
metalspot · · focus · HN ↗
adverbly · · focus · HN ↗
For who though?
Is it important that each person understand it on their own?
Why does it impact me if another human understands something or not?
It impacts me right now because that human can use that knowledge to explain things to me or to build new things using that knowledge.
But if an AI can explain and build better, then what good does it do having the other human know the thing?
Understanding might have intrinsic value to me, but intrinsic value to me doesn't pay the bills.
What am I missing here? I kinda expected better from Terrance given such an audacious title.
matsemann · · focus · HN ↗
For math, the value of proving a theorem is often not proving the theorem (which most people already believe correctly to be true or false), but the path taken there, the new math invented, and how it can be applied to other problems. The end result is therefore almost inconsequential in moving math forwards.
adverbly · · focus · HN ↗
What happens when AI is better at that part too? Are you confident it's not already better?