「可验证」共找到 4567 篇相关文章
真正能离线跑的完全开源翻译工具
Argos Translate是用Python写的开源离线翻译引擎，底层靠OpenNMT，推理用CTranslate2。可当库、命令行、桌面软件用，模型是本地zip包，不联网也能用。支持主流及小众语言，有多种使用方式。
Gamma完美开源平替，输入主题一键生成专业PPT，配图排版全自动！
做PPT耗时耗力，现有AI驱动PPT生成工具多为闭源SaaS服务。GitHub上的开源项目presentation-ai是Gamma的开源平替，输入主题可自动生成PPT，功能丰富，还给出安装部署步骤和使用场景。
Anthropic试图彻底杀死Harness Engineering。
Anthropic推出新产品Managed Agents，定位是帮用户做Harness。它指出Harness保鲜期短，自己维护不划算。技术上把Claude Agent SDK拆成三块，让Harness成可热插拔模块。不过通用Harness有局限，开源社区也有新路线。
MCP 和 Skills 到底什么区别？一篇文章说清楚
文章解释了 MCP 和 Skills 的区别。MCP 是 AI 世界的 USB 协议，可降低开发成本，但会吃掉上下文窗口；Skills 采用渐进式披露设计，自带脚本，能减少上下文消耗。未来 Skills 或承担多数工作，MCP 用于远程连接。
华人团队让AI把表格“翻译”成问题，检索速度×5
表格检索在RAG里是小众问题，传统表格问答系统有Retriever和Reader组件，关键是对齐表格与问题语义。QGpT能生成模拟问题，使表格语义更丰富、对齐更准确，分离线、在线阶段，训练后可提升检索收益。
全球首例！科学家将腿部肌肉线粒体注入盲人眼球，瞳孔光反射短暂恢复
对于视神经严重受损致盲，临床缺有效修复手段。美国研究人员从失明女性腿部肌肉提取线粒体注入其双眼，初步验证了自体线粒体眼内移植的安全性，患者眼部有生理变化，但未恢复视力，实验疑问多。
Claude Opus 4.7 发布！留给人类的时间，不多了
Anthropic 发布 Claude Opus 4.7，核心升级是让 AI 跑长且复杂任务，还能自我验证结果。它视觉能力超强，编程能力提升，新增 /ultrareview 功能，API 多了调节档，不过 token 数量或增加，成本可能上浮。
OpenAI 官方博客：用技能（Skills）加速开源项目维护
OpenAI用Codex改变维护OpenAI Agents SDK仓库方式，通过仓库本地技能、`AGENTS.md`文件和GitHub Actions，将工程工作变为可重复工作流，提升开发效率，还介绍了配置、技能架构及使用注意事项。
软件产品，集体向 Agent 缴械
2026年不到三个月，传统软件产品正主动成Agent「可调用模块」。如Notion、Figma等纷纷支持。这是软件行业范式转移，不被调用的软件将被淘汰，竞争逻辑也改变。
The Batch: 904 | 智能体全面释放
2025年11月开发者Peter Steinberger发布个人AI智能体OpenClaw，1月下旬在HackerNews提及后迅速走红。它可完成多种任务，有独特工作方式和架构，但也存在安全漏洞，引发AI社群讨论。