Mistral AI introduces Leanstral 1.5, an open-source code agent for Lean 4 formal proof engineering, now available via Labs ...

OpenAI has moved GPT-5.6 into a narrow preview, and fresh signals in the Codex app hint at how the company plans to surface it once the gate lifts. The family, unveiled on June 26, splits into three ...

Condense.chat's proxy compresses coding-agent context with two in-house models, cutting token bills by up to 72 percent on deep sessions.

OpenAI begins a limited preview of GPT-5.6 Sol, Terra, and Luna with expanded agentic coding, biology, and cybersecurity ...

Cursor launches a native iOS app, now in public beta for paid plans, that lets developers review and manage coding agents on ...

Anthropic introduces Claude Tag, a Slack agent for teams that transforms Claude into a shared workspace assistant, now in ...

What's new? Microsoft adds financial skills and data connectors to Copilot in Excel for automated workflows; markdown files ...

OpenAI launches Daybreak updates with Codex Security automation, GPT-5.5-Cyber early access, and Patch the Planet for ...

DeepReinforce open-sourced Ornith-1.0, a coding model family that writes its own RL scaffolds and matches Claude Opus 4.7 on ...

Google Gemini’s macOS app is testing system-wide voice dictation, cursor tracking, and possible device linking.

Apify integrates with Coinbase’s x402 protocol, letting AI agents pay in USDC and run 20,000+ web automation Actors without ...

Meituan’s LongCat-2.0 public release offers a 1 million-token context window, a Mixture-of-Experts system, and API access with flexible billing.