「数字工具操作」共找到 2670 篇相关文章
Specula在67个开源系统中找到382个深层bug，数月形式化验证缩短到几小时
截至2026年8月19日，Specula已在67个开源系统找出382个bug。它让coding agent自动生成TLA + 模型和正确性不变量，运行检查并复现问题，将数月的形式化验证缩短到几小时，降低了形式化方法使用门槛。
Claude 上线隐形水印
从上周起，Anthropic 在 Claude 模型所有文本输出中嵌入隐形水印。该水印在文本生成时织入文字，复制粘贴也保留，编辑修改可能仍在。标记机制分文本水印和文件元数据两层，全球生效。
开源「活人感写作.skill」，只为帮你写出没有AI味的文字。
作者开源活人感写作.skill，旨在帮大家写出无AI味文字。它适配多种模型和产品，鼓励用真实经历创作，除了去除辞章端AI口癖，还会激发思想、验证事实，让大家保留自我。
VLA动作预测必须经过LLM吗？TurboVLA仅0.2B参数，RTX 4090上跑出32Hz在线动作预测
近年来，VLA模型成通用机器人控制重要路线，但模型大、动作更新慢的矛盾凸显。华中科技大学联合华为提出TurboVLA，绕开大语言模型，形成V+L→A路径，降低成本，保持操作能力。
OpenAI开源Privacy Filter：PII检测不用传服务器 Apache2.0可商用
OpenAI开源Privacy Filter模型，采用Apache2.0协议可免费商用。它是PII检测工具，支持全本地运行，避免数据泄露。有诸多技术亮点，也有一定局限性，上线后下载量可观。
4万字《壮丽人性》长文首发！教皇联手Anthropic，警告AI不能统治人类
2026年5月25日，教皇良十四世发布42300字AI通谕《壮丽人性》。Anthropic联创称大模型涌现人类情绪，人类无法理解。教皇指出AI核心危机，揭露剥削与数据殖民，反对AI用于战争，关注AI对工作的冲击。
微软 SkillOpt：不动模型权重，只训练那份「技能说明书」
微软研究院 Yifan Yang 等人推出 SkillOpt，思路反直觉，不动模型权重，把「技能文档」当可训练参数。它在 52 个组合中表现最优，技能可迁移，代码已开源，还支持多操作。
榨干Codex！OpenAI工程师亲授Codex真正用法
OpenAI客户支持工程师Jason称，Codex不只是编程助手，而是完整电脑工作系统。通过持久对话流留存记忆、语音输入精准表达、自动化接管任务等，能让机器高效完成各类工作，人还可随时干预。
DeepSeek版Claude Code登顶热榜：8700星，鲸鱼哥火了
DeepSeek版Claude Code登顶GitHub热榜，Star量超8700且还在增长。DeepSeek TUI由Hunter Bown用Rust开发，能与DeepSeek深度集成，有多种模式，打破高价API限制，开发者是半路出家的程序员。
Karpathy 最新访谈：Vibe Coding 只是开始，真正重要的是 Agentic Engineering
Andrej Karpathy在访谈中分享编程范式剧变感受，谈到Software 3.0实质，指出AI能力不均，介绍Vibe Coding和Agentic Engineering区别，还提及创业机会、人类技能价值等内容。