「形式化定义」共找到 510 篇相关文章
重写手机AI安全边界！首个MoAI攻防SoK，系统梳理三大安全支柱
墨尔本大学等联合发布论文指出，移动端AI硬件和模型发展使MoAI成重要范式，但带来安全风险。论文给出统一框架，拆解系统为四层，定义三大安全支柱，梳理攻击、防御图谱等，还提出开放问题与未来方向。
什么是newtype？
作者黄益贺介绍了自己创建的社群newtype。“newtype”源自高达，指适应新环境、能驾驭AI的人。作者给出定义“想清楚，做出来，为自己活”，还指出其不是被恐惧等驱动的人，目标是数字时代个人主权。
首个国产开源AI原生后端，不再写后端，AI就是全栈工程师。
Aipexbase是首个国产开源AI原生后端即服务平台，能在AI辅助下完成前后端一体化开发。开发者无需编写后端代码，通过前端SDK或MCP一键调用后端能力，适配国内生态，定义了AI原生开发新模式。
一款好的 AI Native 硬件，硬件只是脚手架，真正壁垒一定是 Agent
奇朵团队创始人黄勇认为，做AI原生儿童硬件，应先定义场景或内容驱动的Agent，再为其打造硬件。他们推出面向6 - 12岁国内儿童、3 - 8岁海外儿童的相机与闪卡形态产品，通过与IP合作搭建可信任知识底座。
联手 OpenAI 发布 ACP，Stripe 是如何思考 Agent 支付的？
今年 9 月，OpenAI 与 Stripe 联合推出 ACP，重新定义支付。本文整理了 Stripe 的 Head of Data & AI Emily 的访谈，介绍 ACP 本质、Stripe 与 AI 公司的商业模式探索，以及 Stripe 自身的 AI 应用和对 AI 宏观影响的看法。
理解规范驱动开发：Kiro、spec-kit和Tessl
作者尝试理解规范驱动开发（SDD），查看了 Kiro、spec - kit 和 Tessl 三个自称 SDD 的工具。介绍了 SDD 定义、规范含义，分析评估工具的挑战，还指出工具存在不适合多数编程问题、审查体验差等问题。
GPU利用率不到15%，AI产业最大的浪费正在被这家公司改写｜甲子光年
AI产业发展中算力成本高、利用率低问题凸显。趋动科技押注‘软件定义GPU’，试图把独占GPU变为共享算力池，其产品使客户GPU利用率平均提升约4倍，已服务超200家头部客户。
2026世界机器人大会落幕，谁在物理AI赛道抢跑？
2026世界机器人大会落幕，具身智能从‘表演特技’转向‘实景作业’。物理AI世界正快速到来，但机器人量产尚需时日，AI汽车或率先实现人机深度协作，AIVA汽车以‘AI定义汽车’理念打造鲜活生命体，与火山引擎深度合作。
7×24h「全职AI员工」爆火硅谷！退休码农让Mac mini一夜卖爆
由Peter Steinberger开发的开源项目Clawdbot爆火硅谷，它可在Mac mini上运行，能调用多种模型，还能通过聊天APP对话。它解决了主流大模型记忆力痛点，重塑了个人AI超级助手定义，还带火了Mac mini。
AI产品先发优势在于用户迁移成本高，持续为用户提供价值是保持竞争优势的关键 | 对话AI智能电子衣橱工具搭搭
文章围绕AI智能电子衣橱工具搭搭展开，介绍其功能、开发逻辑与发展规划。搭搭通过AI算法筛选美图定义美，提供穿搭灵感，注重用户需求。团队投入研发，获客成本低，未来聚焦工具，解决穿搭问题，与用户共建产品。