Private communication via zero-private-capacity quantum channels
Dit artikel lost een langdurig openstaand probleem in de kwantuminformatietheorie op door aan te tonen dat twee kwantumkanalen met een nul privécapaciteit gezamenlijk kunnen worden gebruikt om superactivatie te bereiken, wat veilige private communicatie mogelijk maakt via een specifieke coderingsmethode die aanvankelijk werd geïdentificeerd met behulp van grote taalmodellen en formeel werd geverifieerd in Lean 4.