Terence Tao: Muodollinen verifiointi rikkoo luottamusrajan matematiikassa Virallinen verifiointi muuttaa matemaattisia yhteistyömuotoja — mahdollistaen anonyymit panokset, koneellisesti tarkistetut todistukset ja radikaalisti tarkemman tieteellisen keskustelun.