Ohio supercomputer verifies world's largest prime number