4 ms·
Yeah, it's hard to compare management and programming but they're both multimodal in very different ways. But there's gonna be entire domains in which AI domina
by slopinthebag 7mo ago
Yeah, it's hard to compare management and programming but they're both multimodal in very different ways. But there's gonna be entire domains in which AI dominates much like stockfish, but stockfish isn't managing franchises and there is no reason to expect that anytime soon.
I feel like something people miss when they talk about intelligence is that humans have incredible breadth. This is really what differentiates us from artificial forms of intelligence as well as other animals. Plus we have agency, the ability to learn, the ability to critically think, from first principles, etc.
- vatsachak 7mo agoExactly. It's what the execs are missing. Also animals thrive in underspecified environments, while AIs like very specific environments. Math is the most specified field there is lol
- slopinthebag 7mo agoOooh yeah that's really good framing. Humans have been building machines that outperform humans for hundreds of years at this point, but all in problems which are extremely well specified. It's not surprising LLM's are also great in these well specified domains. One difference between intelligence and artificial intelligence is that humans can thrive with extremely limited training data, whereas AI requires a massive amount of it. I think if anybody is worried about being replaced by AI, they should look at maximising their economic utility in areas which are not well specified.
- vatsachak 7mo agoExactly. I would not want to have a pure math career or a performance engineering career in 10 years.
- gottheUIblues 7mo agoSo specified .. that it can actually prove it can't be completely specified by any single specification
- vatsachak 7mo agoAll mathematical statements we care about fall out of the purview of incompleteness
- gottheUIblues 7mo agoTo the contrary (as summarised by Gemini): Gödel showed that arithmetic cannot prove everything about itself. Turing showed that computers cannot predict everything about themselves. Rice showed that we cannot automatically verify what programs will do. Chaitin showed that mathematics is full of random, unprovable facts. Lawvere showed that they are all failing for the exact same structural reason! These are not fringe issues. They define the absolute boundaries of human and machine intelligence.
- cindyllm 7mo ago[dead]