这个视频里他介绍了怎么使用 AI 来做软件。他需要一个网页链接生成器。他给AI (Kimi)提了要求。然后SDLC(软件开发生命周期 )中的规划(Planning)、分析(Analysis)、设计(Design)、开发(Development)、测试(Testing 包括审核)都是由 AI 完成的。AI 也可以进行最后两步的部署(Deployment)和维护(Maintenance),但他选择自己干。
整个过程从提出要求到将产品部署到生产环境一共就两天时间,花了他50美刀左右。而如果用人来干的话,一般需要一个包括构架师,分析员,程序员,测试员和开发运维员的团队至少两星期的时间。相当于 AI 编程的 25 倍。
AI 的确可以用穷举法或其他方法证明一些东西。事实上,AI 出现之前数学家们就已经用计算机辅助证明了很多东西了,例如“四色定理”就是用计算机穷举来证明的。但是,AI 只能在其知识范围内进行验证,而不能跳出规范,独辟蹊径(英文叫作 thinking out of the box) 来进行研究。而开普勒把行星轨道设为椭圆就属于跳出规范,独辟蹊径了。
所以如果把 AI 当作一个工具,当作大脑的延伸,那么 AI 会有无穷的帮助。如果把 AI 当作大脑的替代,那么最终就是大脑的退化和知识探索的终结。