「软件工具」共找到 2383 篇相关文章
超越千问和TRAE Work：这款还没“满月”的AI办公产品，凭何越过混战？
AIGCRank 8月AI办公智能体榜单出现新面孔库库AI，上线不到一个月跻身前列。文中对比它和豆包工作、WorkBuddy、千问办公的功能，指出无最好的工具，需按需选择。
Specula在67个开源系统中找到382个深层bug，数月形式化验证缩短到几小时
截至2026年8月19日，Specula已在67个开源系统找出382个bug。它让coding agent自动生成TLA + 模型和正确性不变量，运行检查并复现问题，将数月的形式化验证缩短到几小时，降低了形式化方法使用门槛。
Claude 上线隐形水印
从上周起，Anthropic 在 Claude 模型所有文本输出中嵌入隐形水印。该水印在文本生成时织入文字，复制粘贴也保留，编辑修改可能仍在。标记机制分文本水印和文件元数据两层，全球生效。
这个周末，很多人都在等一个额度重置，以及对 Work 模式的吐槽
ChatGPT Work 模式上线后，Token 消耗快，用户等额度重置。该模式与 Codex 易混淆，前者处理通用知识类长任务，后者面向软件开发。国内外产品纷纷推 Work 模式，未来或融合。
OpenAI开源Privacy Filter：PII检测不用传服务器 Apache2.0可商用
OpenAI开源Privacy Filter模型，采用Apache2.0协议可免费商用。它是PII检测工具，支持全本地运行，避免数据泄露。有诸多技术亮点，也有一定局限性，上线后下载量可观。
榨干Codex！OpenAI工程师亲授Codex真正用法
OpenAI客户支持工程师Jason称，Codex不只是编程助手，而是完整电脑工作系统。通过持久对话流留存记忆、语音输入精准表达、自动化接管任务等，能让机器高效完成各类工作，人还可随时干预。
我的一人公司，空降腾讯一键开雇！
作者分享一人公司借助腾讯WorkBuddy升级，自建数据分析、编辑部，外聘软件工坊等团队，AI当同事，0元年薪24小时在线，解决一人难扛多事问题，还介绍使用方法。
「双线实测」Qwen 3.6-Plus，Agentic Coding 已经这么能“扛活儿”了？
4月7日阿里云通义千问Qwen3.6-Plus上线，作者用两套真实复杂任务评估其智能体能力。结果显示它在复杂决策和编码任务表现出色，有工业级交付水准，但也有首字延迟等短板，且参数效率优势明显。
西门子RXD大会揭秘：AI闯进工厂，胜负手不在算法｜甲子光年
西门子于2026年3月23 - 24日召开RXD大会，探讨AI进入生产流程后的挑战与路径。大会指出工业AI落地需软硬协同，西门子依托制造积淀打通全栈技术，还强调开放协作及生态建设的重要性。
当具身智能遇到“大脑”瓶颈，一家国家队公司决定拆掉围墙共筑基石｜甲子光年
2月28日“启智涌现”开发者大会举行，启智机器人试图解决行业软硬件耦合深等矛盾。它打造通用技术底座，用大衍数据平台等构建技能进化引擎，还以新商业模式构建生态飞轮，推动机器人融入各行业。