All tags
Topic: "ai-assisted-reasoning"
not much happened today
muse-glimmer muse-spark-1.2 claude claude-3 meta-ai-fair anthropic openai together-ai hugging-face ollama quantization agentic-ai multimodality model-architecture model-optimization long-context local-deployment benchmarking theorem-proving proof-assistance ai-assisted-reasoning finkd alexandr_wang jarredsumner jdlichtman
Meta re-enters the open-weight frontier with the release of Muse Glimmer, a 30B dense, multimodal, agent-focused model under Apache 2.0, optimized for always-on local agents and consumer hardware. It features quantization to keep the model under 20GB, a lightweight DFlash drafter for faster on-device generation, and architectural innovations like Gemma 4-style hybrid attention and scale-free QK norm. Benchmarks place Muse Glimmer at 35 on the Intelligence Index, notable for local self-hosting with ~60GB BF16, ~18GB 4-bit, and 128K context. Immediate ecosystem support includes vLLM, llama.cpp, Ollama, Together AI, and Hugging Face transformers. Meanwhile, Anthropic's unreleased Claude variant improved a Riemann Hypothesis bound from 41.6% to 67.2% using over 31M output tokens, showcasing AI-assisted theorem search and proof iteration.