All tags
Topic: "proof-assistance"
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.
Nano Banana Pro (Gemini Image Pro) solves text-in-images, infographic generation, 2-4k resolution, and Google Search grounding
gemini-3-pro gpt-5 google openai hugging-face togethercompute lmsys image-generation text-rendering model-provenance scientific-research proof-assistance multimodal-integration api-access fine-tuning jeffdean kevinweil demishassabis
Google launched Gemini 3 Pro Image (Nano Banana Pro), a next-generation AI image generation and editing model with integrated Google Search grounding, multi-image composition, and fine-grained visual controls, offering pricing at $0.134 per 2K image and $0.24 per 4K image. It features improved text rendering with error rates dropping from 56% to 8% compared to its predecessor, and includes SynthID watermark checks for provenance. The model is available via Gemini App, API, LM Arena, Hugging Face Spaces, Together AI, and Flow. Meanwhile, OpenAI shared early experiments with GPT-5 accelerating scientific research, including proofs of previously unsolved problems in math, physics, biology, and materials science. "GPT-5 accelerated research tasks in math/physics/biology/materials; in 4, it helped find proofs of previously unsolved problems."