《黑客帝国4》正式定名为《黑客帝国:矩阵重生》