报道称Anthropic正在开发FlashProve开源系统
据IT之家报道，Anthropic正开发开源系统FlashProve，以密码学方式验证AI输出所来自的模型，并支持本地验证。
Loading…
bibibi.ccbibibi.ccLoading…
Connect scattered updates into a story you can understand.
据IT之家报道，Anthropic正开发开源系统FlashProve，以密码学方式验证AI输出所来自的模型，并支持本地验证。
Independent developer Wang Zan has open-sourced an Android AI assistant called Mika, which can operate WeChat and other apps in the background through a virtual screen and accessibility services. From Android 14 onward, it can reduce its use of the home screen’s input focus.
Herdr has launched the open-source herdr-core runtime and a native desktop application, supporting modification of interface layouts, keyboard shortcuts, and feature panels through local files. The legacy version TUI will continue to be maintained, and all projects use the Apache 2.0 license.
Ant Group’s Bailing open-sourced the UBTree speculative decoding solution, improving large-model inference efficiency through parallel draft-tree selection. In the Qwen3-4B seven tests, the average speedup increased from 5.95 times to 6.88 times.
PANews reports that Ant Group and the vLLM community have jointly open-sourced Humming, a general-purpose library of quantized inference operators, claiming that it supports multiple categories of GPU, quantization formats, and Dense and MoE models.
Beating AI reported that GitHub project dsh-our-free-model received a "lawyer's letter" demanding that it cease the relevant conduct and delete its repository. Tencent has not confirmed issuing the letter, and the community has questioned its authenticity due to missing information and timeline inconsistencies.
Beating AI reports that Google Research has open-sourced Harness², which can automatically adjust an Agent's prompts, memory, and tool rules without retraining the model.
Tencent Hunyuan upgraded Hy Memory to 2.0 and open-sourced the memory framework, dedicated model, and MemHub application, supporting memory sharing across multiple AI tools.
The open-source tool DigUp integrates Google DeepMind's EmbeddingGemma 2, enabling local text-based searches on Macs for videos, audio, photos, and PDF. The tool currently supports only Apple silicon Macs and macOS 14 or later.
Developer Ryan has open-sourced AI the drawing Skill Anatomy, which supports Claude Code, OpenCode, and Codex and can turn technical principles into interactive animated machine models. The project uses the MIT license, and the 3D feature is still in testing.
Evolvent AI Open-sourcing RSIGym and RSI-Index for studying AI Agent's ability to improve training, evaluation, and tool-calling systems. Experiments show that single-round optimization can improve certain benchmark scores, but there is not yet evidence of multi-round recursive self-improvement.
Anthropic report says GLM-5.3 can autonomously develop exploit chains; Zhipu subsequently released OpenVuln data, saying it has checked 389 open-source projects and found 4249 potential vulnerabilities.