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.
People don't always understand all the different theorems involved in a proof and can still gain from it. Can even do who layers with things like oracle machines where you just posit it finds a proof and opens up a whole rich hierarchy of stuff. Math understanding will probably get more like physics.
metalspot · · focus · HN ↗
cma · · focus · HN ↗