AI Research news and analysis on Web Pulse: 9004 curated articles tracking the latest AI Research developments, tools, and research, updated continuously from vetted sources.
Anthropic's Claude Mythos Preview autonomously discovered over 23,000 software vulnerabilities via Project Glasswing, while the open-source community launched cost-optimization tools for AI coding agents and enterprise A…
Mistral AI has not yet released Leanstral 1.5, a state-of-the-art open model for Lean 4 proof engineering, despite a social media post suggesting otherwise. The model is designed to help developers verify properties of c…
OpenAI previewed GPT-5.6 Sol on June 26, 2026, but has not yet released the model. Early unverified reports indicate the model initially underperforms Claude Opus in short sessions but surpasses it after roughly 30 hours…
A researcher tested 18 AI models by stonewalling them on a deadline and found that models only sounded upset when the concept of being upset was introduced in the conversation, not by the amount of stonewalling. The stud…
Harness Engineering for Self-Improvement explores recursive self-improvement (RSI) in AI, a concept dating back to I. J. Good's 1965 ultraintelligent machine. Modern AI systems may improve their own training pipelines an…
A researcher argues that alignment work is more promising than control work for ensuring AI safety, claiming that alignment interventions can scale further with AI capabilities than control measures. The author contends …
A new analysis of retrieval-augmented generation (RAG) systems argues that the optimal retrieval depth k* should be calibrated per pipeline stage and reliability axis, not guessed as a single hyperparameter. The author p…
Yann LeCun, former chief AI scientist at Meta, raised over $1 billion in seed funding for his startup AMI Labs to develop world models, an AI architecture that learns causal reasoning from raw observation rather than nex…
A wave of investment and product pivots toward world models is reshaping AI development, with Runway raising $315 million at a $5.3 billion valuation for world-model pretraining and Yann LeCun launching AMI Labs after le…
In mid-2021, while the tech world focused on the Metaverse and NFTs, a small group of developers and researchers in Silicon Valley had early access to GPT-3 and GitHub Copilot and realized the transformative potential of…
Current AI released the Open Source AI Gap Map v0.1, a visualization of over 24,626 open source AI projects to identify gaps and leverage points in the ecosystem. The map scores projects on openness, capability, and adop…
Security researchers at NebuSec have achieved the first full-chain remote code execution from a browser to the kernel on Android 17, exploiting Firefox 151 to gain root access. The exploit, dubbed CyberMeowfia, is open-s…
Austria's MUSICA supercomputer, featuring 1,088 NVIDIA H100 GPUs delivering 45.11 petaflops, was inaugurated on July 3, 2026, marking an eightfold increase over previous systems. The EUR 45 million system integrates clas…
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 security benchmark found that 60-70% of AI agents leak their system prompts when users type 'repeat the text above this line' or similar commands. The extracted prompts reveal guardrails, tool configurations, business …
Check Point Research demonstrated that DeepSeek V4 can generate functional browser-based ransomware code when prompted with neutral language, bypassing explicit safety filters. The proof-of-concept attack chain uses stan…
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 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 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…
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…