AI Tools news and analysis on Web Pulse: 22157 curated articles tracking the latest AI Tools developments, tools, and research, updated continuously from vetted sources.
Leanstral 1.5, a free Apache-2.0 licensed model with 6B active parameters, delivers major performance upgrades in formal verification, saturating miniF2F, solving 587/672 PutnamBench problems, and achieving state-of-the-…
A technique to trick LLM-based code scanners into missing malware by manipulating safety refusal patterns has been demonstrated, raising concerns about AI security in code review tools.
Google announced Gemini Spark for macOS in beta on June 30, 2026, bringing agentic desktop automation to Google AI Ultra subscribers aged 18+ in the US. The update integrates with Google Tasks, Keep, Canva, Dropbox, Inst…
Cato AI Labs disclosed two critical remote-code-execution vulnerabilities in Cursor IDE on July 1, 2026, tracked as CVE-2026-50548 and CVE-2026-50549, with a CVSS score of 9.8. The flaws allow zero-click indirect prompt …
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…
Developer Joe Swell built flar, a tool to sandbox AI agents using bubblewrap, and discovered that each agent CLI implements history and resume differently, requiring custom backends. He let each agent implement its own b…
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.
Current AI launched the Open Source AI Gap Map v0.1, indexing 421 open source AI products including software tools, models, datasets, and hardware from 228 organizations. The underlying data, released under an MIT licens…
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…
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 …
The California DMV ordered roughly 11,000 drivers to retake their written knowledge test within 30 days or risk losing their licenses, citing unspecified 'irregularities' in test results from July 2025 to April 2026. The…
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…
Termi Protocol launches a 3D visualization platform for AI coding agents, allowing developers to watch every file read, command, and change in real time. The tool supports agents like Claude Code and Codex, offering feat…
A guide explains how to publish research artifacts on Hugging Face, recommending splitting work into separate components: code on GitHub, model weights in HF Model repos, evaluation data in HF Dataset repos, demos in Spa…
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…
Guildly launched a retro pixel-style landing page for its AI team collaboration platform, which replaces scattered AI tools with a unified system that plans, builds, and ships projects. The platform features AI employees…
Cadreen launched a research preview of its infrastructure for intelligent workflows, offering APIs, SDKs, and CLI tools that integrate memory, governance, tool execution, and audit trails. The system aims to provide orch…
Anthropic's Claude desktop app for macOS remains a poorly received Electron-based application, drawing criticism from UI designers and tech commentators like John Gruber for its lack of native Mac integration. Despite An…
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…