Terence Tao: Formální ověření prolomí bariéru důvěry v matematice Formální ověřování mění matematickou spolupráci — umožňuje anonymní příspěvky, strojově ověřené důkazy a radikálně přesnější vědeckou diskusi.