A slightly less hyped headline would be:

"Mathematical theorem used to crack US government _candidate_ encryption algorithm"