The Busy Beaver Challenge, a notoriously difficult question in theoretical computer science, is now producing answers so large they’re impossible to write out using standard mathematical notation.

In theory, quantum physics can bypass the hard mathematical problems at the root of modern encryption. A new proof shows how.