Nexus is building a supercomputer aimed at enabling the Verifiable Internet, focusing on verifiable computation and advanced cryptography to power secure and scalable technologies.