这位 Lepton AI 前创始人表示，Fleet 可将单一指令转化为可投入生产的软件，并称其在 GLM 5.2 推理、一个通过 600 万项 SQLite 测试的数据库引擎，以及一个经形式化验证的文件系统方面取得进展。
27d ago
正在验证可靠性
此主题没有可用的专业术语。