前段时间，我使用人工智能写了一个音乐播放器的小程序。由于小程序没有本地文件的读取权限，我又不想因为一点小事申请腾讯的云服务器，所以改为写一个本地运行的安卓小程序。因此，我下载了Android Studio应用。这个软件的容量非常大，安装过程也很麻烦。因为体量非常大，所以我将它安装在D盘，相关的其他文件也下载在D盘，比如说SDK也都放在D盘。
安装成功之后，有一个问题是其他软件没有遇到的，就是要设置代理。当然，我一直也有用代理，就是那个V2RayN。但这个代理的设置模式是SOCKS，虽然端口是10808，我按照这个在Android Studio里面做了设置，测试谷歌浏览器的网址也是正常的，但始终Gradle的同步是报错。
.webp)
- 于是，我开始询问各种人工智能，寻找答案。我将报错信息直接复制给了Claude的人工智能，也给了ChatGPT。他们给我的解决办法各种各样，比如说他们所知道的版本号是8.1，而不是我这里显示的8.6。我做了一些修改，还有类似各个文件的修改，做了很多尝试，但都不成功。
- 后来，我在阅读一本关于Android Studio的书时，发现有个大学有镜像服务器可以设置为自动的PROxy项目里面去，我也做了设置，但通通都没有用。为此，我大概有一两个礼拜没有再理睬这个Android Studio了。
- 前两天，因为某种原因看到别人的文章，我知道淘宝上有当下最著名或者最好的人工智能代码编辑器Cursor。大约花了20多元钱购买了一个月的服务，我想Cursor里面应该也可以编写安卓应用的。所以就购买了账号，下载了应用安装，并且开始跟它进行聊天处理。但它竟然还是告诉我，最好用Android Studio编写安卓应用，那是最方便最好的。虽然可以用VS Code编写这些东西，但要下载比较多的库，设置比较多的内容，所以我又回到了Android Studio，打开它来做各种处理和解决，但还是没有最终解决这个问题。
然后，昨天我继续将这些问题去问ChatGPT 3.5。这次它给我提了很多关于代理的一些建议。我也将我用的V2RayN的一些引用情况告诉它。它告诉我怎么设置。结果发现它讲的设置里面，我的机场里面没有，所以我把截图给它看。结果它告诉我，它理解的这个版本应该是不一样的。所以我在想，可能我用的版本比较旧了。
- 于是我去到V2RayN的官网和GitHub仓库里面找到了最新的软件下载。下载后，在它的参数设置里面果然看到了有关HTTP的代理设定。SOCKS的端口是10808，而HTTP的端口是10809。这就对应了Android Studio设置里面的HTTP代理端口设置。于是我在上面设置为10809，服务器是127.0.0.1。没想到这样设置就自动同步成功了。应该说费了很长的时间，终于还是在人工智能的帮助下解决了这个问题。