Terence Tao: Formele verificatie doorbreekt de vertrouwensbarrière in de wiskunde Formele verificatie transformeert wiskundige samenwerkingen — het maakt anonieme bijdragen, machine-gecontroleerde bewijzen en radicaal preciezere wetenschappelijke discussies mogelijk.