Latest

Every published item, in order · 9305 items
Oct 16
ModelsBuildersSelected11:09
Intern-S2 Helps Resolve Ghys's Conjecture in Complex Dimension Three

A 30-year-old conjecture falling to a Chinese lab's model plus Lean verification shows AI moving from coding benchmarks into formal mathematics, where every step is machine-checked. Researchers in theorem proving and anyone tracking Chinese labs' frontier ambitions should follow the write-up. It also gives Lean-based formalisation workflows a high-profile proof point against informal LLM math claims.

InternLM 书生@intern_lmSource
ModelsBuildersSelected10:56
Meta Releases Open-Source Muse Spark Open with vLLM RL Support

Same-day vLLM support means teams running RL fine-tuning pipelines can serve and extend Muse Spark Open without waiting for third-party integration. Builders working on open-source model training will want to compare its RL infrastructure setup against GRPO-style workflows on TRL or Ray. The collaboration also signals vLLM consolidating its position as default inference infrastructure for large-scale model training.

Official accountvLLM@vllm_projectSource
Tomorrow 08:00, the daily lands in your inboxTelegram channel or email. Same screening as this page, no ads.
ModelsBuildersMulti-sourceSelected08:47
NVIDIA Nemotron 3.5 Super VL lands on Ollama

Local deployment on Ollama means agents handling screenshots, documents or images can run entirely on one GPU without API costs or data leaving the machine. The 5x throughput claim, if it holds in practice, makes single-GPU agentic pipelines more viable for small teams. Builders comparing open vision-language models against Qwen2.5-VL or InternVL in the same size class should benchmark it on their own workloads.

Event
ollama@ollamaSource

Only the latest 2000 items are listed; for older ones see the daily archive