理论计算机科学与应用数学之间的协同作用带来了曾经被认为不可能的突破。