Open Source Models

Productivity

AI can generate mathematical security proofs for open-source libraries, enhancing software verification and reducing vulnerabilities.

Rock Matrix open-sourced EdgeRock-4B, built from Qwen3.5-4B with HKUST and CMU. The model keeps a fixed 72 MiB KV cache at 256K context, down from 8 GiB, and serves 6.42 times the throughput while retaining most of its reasoning scores, according to the company.

AI Models • Pandaily

Nvidia released Nemotron 3.5 Transcribe, an open-weight model for multilingual audio transcription and translation that the company says leads a benchmark leaderboard, along with Granary v2, its open-source speech dataset.

AI Models • Techmeme

Based on a transcript excerpt: Matthew Berman demonstrates DeepSeek's latest open-source model, testing its ability to generate a detailed interactive 3D mechanical watch diagram in a single web page. The video showcases the model's spatial awareness, 3D generation, and internal knowledge, positioning it as a leading open-source option.

AI Models & Capabilities • Matthew Berman