As new 9/11 documents emerge, AI transforms math and fuels debates over pollution, power and progress