报道称Anthropic正在开发FlashProve开源系统
据IT之家报道，Anthropic正开发开源系统FlashProve，以密码学方式验证AI输出所来自的模型，并支持本地验证。
正在加载…
bibibi.ccbibibi.cc正在加载…
把分散的消息，连成可以理解的脉络。
据IT之家报道，Anthropic正开发开源系统FlashProve，以密码学方式验证AI输出所来自的模型，并支持本地验证。
独立开发者王赞开源安卓 AI 助手 Mika，可通过虚拟屏幕和无障碍服务在后台操作微信等应用。Android 14 起可减少对主屏幕输入焦点的占用。
Herdr推出开源 herdr-core 运行时和原生桌面应用，支持通过本地文件修改界面布局、快捷键与功能面板。旧版TUI将继续维护，三个项目均采用Apache 2.0协议。
蚂蚁百灵开源推测解码方案UBTree，通过并行筛选草稿树提升大模型推理效率。在Qwen3-4B七项测试中，平均加速比由5.95倍提升至6.88倍。
PANews报道，蚂蚁集团与vLLM社区联合开源通用量化推理算子库Humming，称其支持多类GPU、量化格式及Dense和MoE模型。
动察 Beating AI 报道称，GitHub 项目 dsh-our-free-model 收到要求停止相关行为并删库的“律师函”。腾讯尚未确认发函，社区因函件信息缺失及时间线矛盾质疑其真实性。
动察 Beating AI 报道称，Google Research 开源 Harness²，可在不重新训练模型的情况下自动调整 Agent 的提示词、记忆和工具规则。
腾讯混元将 Hy Memory 升级至 2.0，并开源记忆框架、专用模型和 MemHub 应用，支持多款 AI 工具共享记忆。
开源工具DigUp接入Google DeepMind的EmbeddingGemma 2，可在Mac本地按文字内容搜索视频、音频、照片和PDF。该工具目前仅支持苹果芯片Mac及macOS 14以上。
开发者Ryan开源AI绘图Skill Anatomy，支持Claude Code、OpenCode和Codex，可将技术原理生成可交互的动画机器模型。项目采用MIT协议，3D功能仍在测试中。
Evolvent AI开源RSIGym及RSI-Index，用于研究AI Agent改进训练、评测和工具调用系统的能力。实验显示单轮优化可提升部分基准成绩，但尚无多轮递归自我改进的证据。
Anthropic报告称GLM-5.3可自主开发漏洞利用链；智谱随后公布OpenVuln数据，称其已检查389个开源项目并发现4249个潜在漏洞。