Terence Tao: Weryfikacja formalna przełamuje barierę zaufania w matematyce Weryfikacja formalna przekształca współpracę matematyczną — umożliwiając anonimowe wkłady, dowody sprawdzane przez maszyny oraz radykalnie precyzyjniejszą dyskusję naukową.