「可验证智能」共找到 7238 篇相关文章
设计师的 ChatGPT 时刻：Figma 这次把“设计即代码”玩成现实
文章介绍了AI编程产品分类，指出Vibe Coding存在的问题。重点讲述Figma在2025 Config发布Vibe Coding产品Figma Make，其可从设计稿生成网页，有编辑工具精准迭代等功能，还推出可视化低代码建设工具Figma Site。
华为GTS让Agent学会「看着网络排障」，双防火墙难题几乎全拿下
本文介绍华为GTS算法团队针对大模型Agent网络排障遇到的「拓扑失忆」痛点，提出NetCanvas方案，通过可交互视觉拓扑实现认知卸载，大幅提升复杂网络排障的准确率和效率。
吴恩达新作：87%推理token用不着，丢掉反而快3倍
吴恩达新作Prefix Sliding指出，模型推理时丢弃中间已贬值token，只保留前缀+滑动窗口，无需训练可提速3倍，配合RL训练能将推理轨迹扩展到10万token以上。该方法为Agent场景提供新思路。
蛰伏三年，前大疆员工做了款消费级纺织机，拿下红杉、顺为、米哈游等数亿融资｜产品观察
浪爪智能创始人胡文鑫出身大厂，却投身家用纺织机赛道。公司已获数亿融资，2024 年推出自动簇绒枪，还打磨消费级纺织 Station 平台，即将发布新品并搭建社区。团队解决诸多技术难题，满足不同用户需求。
中山大学HCP Lab联合拓元智慧提出高效世界模型DDP-WM，机器人规划效率提升9倍
中山大学人机物智能融合实验室联合拓元智慧提出新型高效世界模型框架DDP - WM。它解耦动态预测，在提升推理速度同时，提高规划成功率，如Push - T任务规划速度提9倍、成功率从90%升至98%。
实测丨别人还在做网站，Atoms 已经帮用户赚到第一桶美金了
当下多数AI编程工具只解决写代码问题，难以让产品变现。Atoms由MetaGPT等原班人马打造，补齐商业闭环，从市场验证、上线收钱到解决流量问题都有办法，实测效果佳，还让普通人成功盈利。
把 AI Coding Agent 搬进终端：Crush 让你的命令行变成“编程搭子”
Crush是Charmbracelet出品的终端AI编程代理，可将工具、代码和工作流接到所选LLM，在终端协同工作。它有多模型、会话制等特点，适合终端重度用户等，还介绍了安装、使用及进阶玩法。
“天才少年”5年0收入造JS核武！Claude天价收购Bun，Node.js生态地震，AI工具链战争正式打响！
当地时间12月2日，Anthropic宣布收购热门开发者工具初创公司Bun。Bun能解决智能体分发和运行的效率问题，受AI编程工具青睐。虽收入为0，但因AI编程发展，Bun团队认为加入Anthropic是更好选择。
5小时通关《原神》主线！Lumine：AI玩家正式登场
Lumine能像人类一样理解游戏画面、推理并操作，以接近人类效率5小时通关《原神》蒙德主线，还能零训练玩《鸣潮》等。它是开放式研发方案，靠少量数据和显卡让模型成强大智能体。
Token是这个时代最伟大的发明
博主黄益贺认为AI称得上科技革命，因其带来信息形态与交互方式的根本性变革，而这都归功于Token。Token实现信息形态大统一，带来信息交互方式变革，让信息可被自由召唤、定制化显现。