The Biggest Project in Modern Mathematics

[More at Quanta here.]