AI Claude狂写1.8亿行证明!万亿次测试漏掉的Bug,被AI一锅端 当模糊测试跑了上万亿次仍漏掉漏洞,Claude 转而用数学证明为代码兜底。短短几周,它完成 123 个开源库、1.8 亿行 Rocq 证明,还顺手挖出 x86 硬件缺陷。这场从软件证到芯片的清扫,正把形式化验证从奢侈品变成可摊销的工程账。 新智元 AI应用AnthropicClaude
AI,个人随笔 传统“UX设计流程”已死?AI 时代,真的不需要设计基础了么? Anthropic 设计负责人 Jenny Wen 直言“不要相信设计流程”,传统从研究到收敛的双钻范式已经失效。文章给出两个新解读:流程无需被抛弃,只是要被拆解、被加速,用小步迭代取代形式主义;设计基础依然重要,因为能力正来源于此。 元尧 AI设计UX设计个人观点
AI,个人随笔 加了AI功能怎么验收?产品经理先把“效果好”说清楚 AI助手验收不是看几个问题答得顺就能上线。本文以退款咨询助手为例,从设定验收标准、设计测试题、明确判定方式到上线后动作,拆解如何用场景化标准替代模糊的“效果好”,确保AI在涉及资金和承诺的场景中安全可靠。 火锅宝宝 AI助手案例分析测试用例
AI,个人随笔 Grok Bot、Dots、Cue、Muse:四家 AI Bot 到底有什么不一样? 都叫 Bot,做的却不是同一件事。Grok Bot 靠多个专业 Bot 分工,Dots 让任务跨时间往前走,Cue 把电话、邮箱和钱包一并交出去,Muse 攒的是你的生活记忆。真正的差别不在功能,在权限模型。 易安说AI AI AgentGrok BotPersonal Agent
AI 从找场景到做 Skill:AI 赋能落地的一套拆解方法 直播里被问最多的两个问题:找不到能上 AI 的场景,场景塞过来又不知道怎么拆。这篇把方法捋成文字版,先判断环节适不适合 AI,再拆成 IPO 原子化节点,最后决定哪些做成 Skill。 张佳的AI实战笔记 AI AgentSkillWorkBuddy
AI,个人随笔 实测Nano Banana 2.1:拿10个电商场景正面PK,能把GPT拉下神坛吗? 谷歌AI重磅更新,Nano Banana 2.1与Gemini 4 Argon上线。本文通过五类商业素材实测,对比Nano Banana 2.1与GPT-image2.5在电商设计中的表现,从信息图到UGC风格,揭示各自优劣。文末附三步上手教程,助你一键生成跨境品牌级素材。 Bulus lan AI生图GPT-ImageNano Banana
AI 单日 5606 本新书:AI 正在淹没网文供给端 上半年全国票房跌了四成,红果日活反超四家长视频总和,AI 短剧占了新上线的九成五。这头怪兽从发行、平台一路咬到制作,下半年终于咬到产业链最底层的网络小说:番茄单日首秀新书从 400 本蹦到 5606 部。 微果酱 AI短剧抖音案例分析
AI,个人随笔 备战双11,我用4个AI Agent读完400条评价改详情页 双 11 前一周,主推款转化率一路往下掉,设计问改哪几屏,他只憋出一句「保温要加强」。后来他把自家和三家竞品近 90 天的 400 条评价丢给豆包工作,让 4 个 Agent 分头读完。 AI高手杜小虎 双11电商运营豆包
AI,个人随笔 Vercel CEO:60% 的部署已来自 agent,人该站在哪里 Vercel 上编程 agent 的部署占比,从年初的 3% 涨到 60%。Guillermo Rauch 在播客里复盘十年十亿次部署如何变成十个月十五亿次,也谈了人该站在哪里。 深思圈 AI编程Vercel个人观点
AI Claude Duet 对比 Meta Muse:一个管上班,一个管生活 Claude Duet 把「你问我答」的顺序倒了过来:它盯着你连过的应用,攒成一封早间简报,只在真需要你的时候发消息,关键时刻再把决定交回你手上。跟偏向生活的 Muse 比,它想接管的是工作。 字母榜 AI AgentAnthropicClaude
AI,个人随笔 实测 Ribbi:一个 AI Agent 能不能顶掉内容团队? AI 让内容创作变得更廉价了吗?文章以驻守浏览器的 AI 智能体 Ribbi 为例,看它如何包办文案、图片、视频与发布运营,再借这个“一蛙抵一队”的工具讨论:内容会变多,但真正有价值的创作反而更值钱,设计师该如何逆风翻盘。 元尧 AI AgentAIGCRibbi
AI AI视频爆发一年:一代人的生产红利和孤独迷茫 毕业照拍完没有离校,研四这一年他全职做 AI 视频,第一支短片《最后一班》在小红书拿到近 10 万赞,商单报价能到 1000 元一秒。红利是真的,积分涨价、单子接不过来也是真的,孤独与迷茫同样在。 新莓 AI视频内容创作创作者