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.

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

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

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

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

UPDATE from 01.06.26: Anthropic will be restoring access to Claude Fable 5 globally for all paid users on Wednesday! Claude Fable 5 will be available again globally tomorrow. After a series of ...