AI centos Conda Horzion IOS LaTeX MySql python Stable-Diffusion UOS VMware vsphere windows 安卓游戏 工具 数学 漫画