Agreed. Right now it's a single shared processor emulated with cryptography and massive replication - but that's not an architecture that will get you supercomputer performance.
The work on that thread - getting Ethereum to supercomputer status - is called CASPAR and you can read more about the efforts to get a formal proof for it here: