Researchers used a quantum computer to mathematically prove they generated and certified truly random numbers, opening the door for critical applications like cryptography, auditing and lotteries.