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

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 ...

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.

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

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

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

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

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.

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

What's new? Microsoft launches MAI-Code-1-Flash for GitHub Copilot Business and Enterprise; model delivers fast low-latency ...