最近中国科技大学陈乾旺教授领导的研究组以二氧化碳和金属钠作原料，在440℃和800atm的条件下，成功合成了金刚石，同时生成氧化钠，首次实现了从二氧化碳到金刚石的逆转变。该反应的化学方程式是，反应类型是。