Unknowable Math Can Help Hide Secrets

A graduate student recently harnessed the complexity of mathematical proofs to create a powerful new tool in cryptography.