OpenAI Astra: Multi-Agent Model Solves 10 Decade-Old Math Problems
OpenAI previewed Astra, its next major model, by publishing 10 machine-verifiable math proofs in Lean 4 on GitHub. Here is what developers need ...
Google Earth AI Image Generator Pulled in 24 Hours
Google Earth's AI image tool let anyone fake nuclear sites in minutes. Google pulled it ...
Claude Opus 5: What Developers Need to Know Now (2026)
Anthropic’s Claude Opus 5 ships adaptive thinking, effort toggle, and mid-conversation tool changes. Here’s what ...
Microsoft Flint Fixes AI Agent Charts With a Compiler
Microsoft Flint fixes AI agent chart generation with a compiler — producing specs 85% shorter ...
EU AI Act Enforcement Is Live: What Developers Must Do Now
The EU AI Act's Article 50 transparency rules and GPAI enforcement powers are live as ...
GitHub Copilot Code Review: Agent Skills and MCP Are Now GA
GitHub's Copilot code review now supports agent skills and MCP for all paid plans. Here's how to set up SKILL.md, what MCP adds, ...
YC Open-Sources QM: Multiplayer Agent Harness Is Here
Y Combinator just open-sourced QM — the internal agent harness running all of YC. Here's ...
Chinese Military Used GPT-3.5 and Claude for Defense AI
Reuters found PLA units used GPT-3.5 and Claude 3 Haiku to train defense AI via ...
Nscale Buys Anyscale for $1.65B: What Happens to Ray
Nscale acquired Anyscale and its Ray framework for $1.65B. Here is what changes for open-source ...
OpenAI Cuts GPT-5.6 Luna 80%: The AI Price War Is Here
OpenAI cut GPT-5.6 Luna 80% on July 30, same day DeepSeek went live. Here's what ...