The Biggest Project in Modern Mathematics