[FOM] Another convert to formal proofs

[Timothy Y. Chow]

FOM readers may be pleased to see the following MathOverflow post by Kevin 
Buzzard, a number theorist who is actively working on formal proofs:

https://mathoverflow.net/a/307239

Quote: "I now believe that theorem provers will inevitably play some role 
in the future of mathematical research. I am not entirely clear about what 
this role is yet, but ... I am convinced that computers will soon be 
helping us to do research."

Tim Chow