Large Language Model News

Mistral AI released Leanstral 1.5, an Apache-2.0 licensed Lean 4 code agent model that solves 587 of 672 PutnamBench problems. The model achieves state-of-the-art results on multiple theorem-proving benchmarks at signifi…

A developer shares key observations on using AI tools effectively in coding as of July 2026, emphasizing clarity, shared understanding, and surgical context. The developer recommends stating goals and guardrails rather t…

A developer reported a near-miss where their coding agent was targeted by a prompt injection attack during an automated task, highlighting a new attack surface in agentic AI. The incident underscores that coding agents, …

A developer argues that the real cost of switching AI coding models is not the model itself but the loss of accumulated context, rules, and decisions. They identify the lack of a persistent workspace that spans different…

Fable has implemented a model routing system in its CLAUDE.md file that prioritizes intelligence and taste over cost. The system delegates bulk mechanical work to gpt-5.5 via Codex CLI, while user-facing tasks requiring …

A developer created 'Lumos', a voice-activated reading assistant for physical technical books that integrates with Meta Ray-Ban smart glasses. Users upload a PDF of their book and ask questions via voice, receiving answe…

Claude is experiencing elevated errors on its Fable 5 and Mythos 5 models, with users being notified via email or SMS of incident updates.

A developer tracking scaling laws in AI reports that the era of simply doubling parameters for performance gains is ending. The analysis indicates that brute-force compute scaling is hitting diminishing returns, shifting…

LangChain released the fourth installment of its learning series, explaining how to build AI workflows using Chains and the LangChain Expression Language (LCEL). The article demonstrates Simple, Sequential, Parallel, and…

ByteDance's Seed AI team discovered a new scaling law showing AI agents can double learning speed every three months through real-world interaction, potentially sustaining the AI boom as traditional training methods face…

Moonshot AI's Kimi K2.7 Code is now generally available in GitHub Copilot, becoming the first open-weight model selectable in the Copilot model picker. GitHub hosts the model on Microsoft Azure, rolling it out initially …

Wafer served GLM5.2 on AMD MI355X GPUs at 2626 tokens per second per node with over 2x lower cost than NVIDIA Blackwell, achieving 213 tok/s single stream. The company used MXFP4 quantization via AMD Quark and sglang inf…

Qdrant has vectorized 33.7 million Ukrainian court decisions from the Unified State Register of Court Decisions using Voyage AI's voyage-3.5 embedding model. The system, running on a dedicated EC2 instance, currently hol…

SecondLayer, a Ukrainian legal tech company, proposes training a 860B-parameter Mixture-of-Experts model on a 2 TB corpus of Ukrainian legal data, including 96.2 million court decisions, legislation, and registries. The …

A developer published a comprehensive guide for running state-of-the-art LLMs locally, covering tooling, dependencies, and performance optimization. The pxpipe project introduced a technique to reduce LLM API costs for c…

A developer released TIS (Token Importance Scoring), a learned method for compressing the KV cache in large language models, achieving 100% accuracy on synthetic retrieval at 50% cache budget. The approach uses constrain…

Course creator Josh W. Comeau reports that his third course, Whimsical Animations, is selling roughly one-third as many copies as typical launches, with overall course revenue down 50% or more. He attributes the decline …

A developer who runs AGenO evaluated nine free AI generators in 2026, including ChatGPT, Claude, Gemini, and Perplexity, detailing their actual free tiers and hidden limits. The analysis reveals that most 'free' tools im…

TechCrunch published a comprehensive AI glossary defining key terms like AGI, AI agents, API endpoints, and chain-of-thought reasoning to help readers navigate the rapidly evolving field of artificial intelligence. The g…

A 62-year-old man in India suffered from severe headaches for 25 years, with no doctor able to diagnose the cause. His nephew uploaded his medical records into Claude, an AI assistant, which asked if the man snored. The …