How do mathematicians know that something they prove is actually true?

Dr. Voevodsky realized that human brains could not keep up with the ever-increasing complexity of mathematics. Computers were the only solution. So he embarked on an enormous project to create proof-checking software so powerful and convenient that mathematicians could someday use it as part of their ordinary work and create a library of rock-solid mathematical knowledge that anyone in the world could access.

»»» Läs vidare [New York Times]