America Needs AI That Can Do Math