DARPA announces a program entitled "Exponentiating Mathematics"