NERD FACT: 1 грудня виповниться 40 років з моменту публікації @TheOfficialACM матеріали STOC '85, що містять статтю Голдвассера-Мікалі-Раккоффа «Складність знань інтерактивних систем доведень» — статті, яка ввела інтерактивні докази та докази з нульовим розгадуванням.