Terence Tao: Formell verifiering bryter förtroendebarriären inom matematiken Formell verifiering förändrar matematiska samarbeten — möjliggör anonyma bidrag, maskinkontrollerade bevis och radikalt mer precis vetenskaplig diskussion.