AI 每日快讯
AI 产品、模型、开源工具和官方动态的时间流。保留历史记录，按分类、日期和标签继续筛选。
原文摘要：Anthropic released FlashProve, an Apache 2.0 zkSNARK prototype that proves a reply came from a committed model without revealing weights. It proves Llama 4 Maverick at 110 tokens/s 来源：MarkTechPost。建议继续查看原文，重点核对它影响的工具入口、成本、风险和真实使用场景。
原文摘要：Soniox has released Soniox STT v6, the latest generation of its speech-to-text API. Soniox STT v6 is a speech-to-text model that reads what a voice agent says while hearing the cal 来源：MarkTechPost。建议继续查看原文，重点核对它影响的工具入口、成本、风险和真实使用场景。
原文摘要：NVIDIA shows how 3 stacked optimizations speed up MoE inference on a single DGX Spark. On Ant Group inclusionAI's 124B Ling-3.0-flash, GSM8K decode throughput rose 42.5% with no de 来源：MarkTechPost。建议继续查看原文，重点核对它影响的工具入口、成本、风险和真实使用场景。
原文摘要：OpenAI built Pando, a Git-compatible backend for its monorepo. It handles branches independently, reuses stored packfiles across fetches, cut median push latency by nearly 80%, and 来源：MarkTechPost。建议继续查看原文，重点核对它影响的工具入口、成本、风险和真实使用场景。
原文摘要：Zyphra Hierarchical Attention (ZHA) is a tree-indexed sparse attention method that retrofits frozen LLMs with 4B tokens of distillation, matching dense attention on reasoning and 2 来源：MarkTechPost。建议继续查看原文，重点核对它影响的工具入口、成本、风险和真实使用场景。
原文摘要：Letter has released the beta of Letterpress-1, a coding agent, harness and IDE for growth engineering. It reads a git-based site and its market, then opens pull requests for SEO, G 来源：MarkTechPost。建议继续查看原文，重点核对它影响的工具入口、成本、风险和真实使用场景。