现在操作系统到底是什么?
大型语言模型的进步重新点燃了一个老梦想:普通用户可以用自然语言为自己的设备“编程”,这也引发了在 AI 优先的世界里,操作系统究竟应当是什么的问题。评论者们在一边设想由 LLM 构建、个性化的微型应用和具备代理能力的助手,另一边强调传统操作系统角色的持久必要性,例如资源管理、隔离、安全,以及银行应用或电子表格这类确定性工具。许多人怀疑大多数人是否真的会为自己设计软件,认为即使 AI 成为现有操作系统之上的强大新层,应用、GUI 和受管理的平台仍会继续存在,而不会被取代。
现在什么是操作系统?
- 许多人认为,根本没有发生变化:操作系统仍然负责管理硬件资源并隔离程序。
- 也有人指出,现代操作系统建立在不透明的 SoC 和固件之上(例如管理引擎),因此它们实际上不再真正“拥有”硬件。
- 还有人区分底层内核与更高层的“操作系统体验”(shell、服务、应用模型),并表示文章主要是在质疑后者。
AI、“vibe-coded” 应用,以及软件的未来
- 支持者认为,LLM 让大量小型、极具个人化的应用成为可能,这些应用可用自然语言编写,并会改变传统应用商店的角色。
- 反方观点:如果可以直接让 AI 助手执行任务,为什么还要构建定制应用?许多人预计会出现一个占主导地位的通用助手,而不是一大群微型应用。
- 也有人设想一种混合模式:稳定的基础库和服务(编解码器、存储、数据库)之上,再叠加由 AI 生成的灵活工具或界面。
确定性、可靠性与安全性
- 讨论串很长,围绕确定性应用与非确定性 AI 展开:
- 支持 AI 的一方认为,对许多日常任务来说,非确定性是可接受的,甚至是有益的。
- 怀疑者强调,工程、合规和安全要求可确定、可验证的行为;LLM 生成的代码很难让人信任。
- 有人设想 AI 在幕后生成确定性的工具,但同时强调必须进行严格验证并划清明确边界。
用户行为与“高手偏见”
- 多位发言者表示,这种设想高估了普通用户愿意或能够进行“vibe-coding”的程度;大多数人只想要稳定的应用和被动消费。
- 他们引用了历史类比(BASIC、HyperCard、早期网页):工具虽在,但真正创作的人只是少数。
- 还有人举例说,试图让非技术的朋友/家人用 LLM 做自动化通常会失败,因为需求很难准确表达。
安全、沙箱与平台控制
- 人们强烈担心,AI 生成的软件会进一步提高对严格沙箱、能力系统和权限模型的需求。
- 另一些人预测,设备会变得更加封闭,并且软件会被签名/“认证”,理由是要防范未经审核的 AI 代码所带来的安全风险。
- 也有人担心,面向 AI 的平台可能削弱用户所有权和超级用户控制,尤其是在手机上。
经济、API 与 Web
- 如果代理抓取网站而不是人类直接访问,那么广告支撑的服务可能会崩溃;发言者预计会出现更多付费 API 和机器对机器计费。
- 对于像查看天气这样简单的任务,叠加成本(ISP + AI 提供商 + 数据 API)也引发了怀疑。
对文章和项目的元评论
- 反应不一:有些人觉得这个愿景令人兴奋且切中时宜;另一些人则认为这只是 AI 炒作,细节含糊,或者不过是在推销另一款手机。
- 还有几个人询问,这样的系统将如何与现有的受监管应用(银行、医疗、社交平台)共存,因为这些应用需要强大的操作系统级保障。