"Claude, rewrite this in amd64 and arm64 assembly. Optimize it to the max, and make no mistakes. Oh yeah, formally verify it while there, may as well."
You laugh now but in 5 years when these LLM’s operate at thousands or tens of thousands of tokens per second on dedicated hardware in your phone… “might as well” won’t even be a joke.
That still feels like chartering a helicopter for a 20-minute drive just because helicopters got cheaper and faster.
Oh, I'm not entirely sure I was joking. This is already well possible at this point, it's just goofy sounding.