微软(MSFT.O)首席执行官宣布推出AION推理与规划模型。