「数学证明工具」共找到 2470 篇相关文章
微软发布 Agent 安全框架 MAF
微软发布 Agent 安全框架 MAF，它是 AutoGen + Semantic Kernel 的统一继任者。有三层中间件，对 MCP 采样默认拒绝，还加了工具审批中间件，编排用图模型，为生产环境安全治理设计。
国产多模态Agent拿下医学分割SOTA！不用改模型、不加token | 浙大&上海AI Lab
现有医学多模态大模型在分割生物医学图像时存在瓶颈，浙大蔡钰祥教授、上海AI Lab江彦开等人提出IBISAgent框架，将分割定义为多步视觉决策过程，实验显示其在多数据集上大幅领先对比方法。
腾讯广泛使用的跨端开发框架——Kuikly在搜狗输入法中的AI Coding实践
AI 席卷开发领域，输入法团队在 Kuikly 跨端项目探索 AI 工程化方案。介绍了推进 AI 友好型工程、构建精准 AIContext 等关键层面，以灵感词库页面开发为例展示效果，还展望了未来探索方向。
连Karpathy都怕了！9千万级AI包被投毒，竟靠黑客写出bug救命
3月24日，AI应用核心工具LiteLLM更新版本含恶意代码，可窃取开发者核心信息。因攻击者代码有bug致机器崩溃才暴露。这引发AI基础设施信任危机，Karpathy称要减少依赖。
人形机器人「网球运动员」来了！不靠预编程，银河通用×清华破解长程打网球难题
银河通用与清华联合提出LATENT研究，使人形机器人通过深度强化学习自主习得网球对打能力，实现从“机械复刻”到“智能决策”跨越。该研究提出新运动学习方法，构建“运动小脑”等，经实验验证性能优越。
a16z全球AI产品Top100：AI入口之争已经打响，OpenClaw开启通用Agent时代
a16z发布全球AI产品Top100第六版更新，AI成主流默认功能，Gemini追ChatGPT凶猛，通用Agent登场。还介绍了各领域竞争态势、市场地理分布、创意领域演变等情况。
打造高可靠 AI 助手：Skill 编排、Workflow 设计与 Spec Coding 的深度实践
文章拆解上下文工程五大实践模式，对比 Skill 与 Subagent 差异，介绍 Vibe Coding、Spec Coding。分析使用 Skill 做 AI Coding 的问题，提出 Workflow 概念及解决办法，还说明了工作流使用方法和适用场景。
配置一改就要重启的时代结束了：Dev Proxy 2.1 正式上线
Dev Proxy团队发布2.1版本，围绕开发效率和本地测试体验更新，有配置热重载、stdio流量代理等新功能，还改进配置、性能及细节问题。Dev Proxy Toolkit 1.12同步发布。
测试时也能RL，英伟达等提出全新范式：TTT-Discover
近日，斯坦福、英伟达、Together AI 等联合开源全新测试时新范式 TTT - Discover，在测试阶段用强化学习微调模型，以刷出 single best 结果，用几百美元就刷新诸多领域 SOTA。
仅 3MB 大小，终端极速预览 word！
开发者等常需在服务器或命令行环境查看Word文档，传统方式低效。开源神器doxx基于Rust开发，无需Microsoft Word等软件，有保留格式渲染、全文搜索等功能，还提供多种安装渠道。