AI Developer Feed & Community

On November 10 Google DeepMind introduced AlphaProof Code, a multi-LLM agentic framework for formal verification: human experts and models turn security goals into formal specifications, then agents powered by Gemini 4 Carbon carry out the proofs.

💬 What's your take? Join the discussion in the comments.

On November 11 Baidu released ERNIE 5.5 Flash Preview on its ERNIE site and @Baidu_Inc. It is the first post-trained model built on ERNIE 5.5 Flash Base, whose weights came out on November 5: 280B total parameters, 14B active per token, a 1M-token context and, per Baidu, generation above 200 tokens…

💬 What's your take? Join the discussion in the comments.

In the 42-minute IPO roadshow video Anthropic released on November 10, the compute chapter says the company started using AMD GPUs for the first time this year: bringing up a new chip platform used to take dozens of engineers months, but this time Mythos got Claude running on AMD in about three…

💬 What's your take? Join the discussion in the comments.

On November 11 the official Qwen account announced "Qwen4 is coming" and opened a preview of its flagship Qwen4-Max, pitching deeper knowledge, richer world understanding, and stronger coding and agentic capabilities.

💬 What's your take? Join the discussion in the comments.

On November 10 the Chrome team released Modern Web Guidance (MWG) 1.0, the stable version of its skills pack for coding agents. It holds about 200 guides reviewed by browser engineers and accessibility experts, covering performance, accessibility, user experience, and security, with Baseline…

💬 What's your take? Join the discussion in the comments.

On November 10, Cursor rebuilt Projects for multiplayer. You can invite teammates into a Project, and everyone plans, builds, and ships in one workspace alongside their coordinator and worker agents.

💬 What's your take? Join the discussion in the comments.

On November 10, Google opened Gemini 4 Carbon to developers, enterprises, scientists, and consumers. Two weeks ago it was limited to cybersecurity defenders in the Fairwind Program.

💬 What's your take? Join the discussion in the comments.

On November 10, Google DeepMind released Gemini Robotics 2.5, which it calls its most capable vision-language-action (VLA) model so far. Across more than 200 evaluated tasks, DeepMind reports a 30% to 100% higher success rate than earlier baselines depending on the task type, with tasks finished…

💬 What's your take? Join the discussion in the comments.

On November 10, Anthropic announced the launch of its IPO roadshow. It plans to offer 825 million Class A shares, about 801 million from the company and about 23.65 million from existing stockholders, at an expected $70 to $78 per share, and to list on the Nasdaq Global Select Market as ANT.

💬 What's your take? Join the discussion in the comments.

Meta CEO Mark Zuckerberg announced on November 9 (US time) that Muse Ember, Muse Spark 1.3, and Muse Wonder are now available on Google Cloud, and Sundar Pichai replied "welcome to the model garden." Google's official docs list all three as Preview partner models, served only on the global endpoint…

💬 What's your take? Join the discussion in the comments.

On November 10, T3 Code CEO Theo posted that, based on more than 1.1 million real requests sent through his Ultra subscription, the $200 Claude Ultra plan covers about $15,000 of Opus 5.5 at API prices per month, versus about $3,000 of Fable 5.2.

💬 What's your take? Join the discussion in the comments.

On November 9, Anthropic's developer blog claude.dev published a selection guide by Addy Osmani, "Which Claude model should you build with?"; the ClaudeDevs post drew about 9,200 likes and 12,000 bookmarks.

💬 What's your take? Join the discussion in the comments.

Independent evaluator Artificial Analysis published two new results on November 10. On AA-3D, which tests how well a model acting as an agent builds interactive three.js web scenes, Claude Fable 5.2 (Max) scores 1271 Elo, 67 points ahead of second-place Claude Sonnet 5.5 (1204); its 95% confidence…

💬 What's your take? Join the discussion in the comments.

Robbyant, the embodied AI company under Ant Group, open-sourced LingBot-Touch on November 9 under Apache 2.0. It uses JEPA-style latent prediction and a shared Haptic Transformer to turn piezoresistive, magnetic, and visuotactile sensor signals into one set of tactile tokens.

💬 What's your take? Join the discussion in the comments.

Robot foundation model company Skild AI open-sourced Steel on November 9, an internal physics solver built with NVIDIA and released under Apache 2.0. It is a GPU rigid-body dynamics solver contributed to the open-source Newton physics engine for robot training in Isaac Lab.

💬 What's your take? Join the discussion in the comments.

Zyphra released ZONOS3-Mini, an open-source text-to-speech model, on November 9, with weights on Hugging Face under Apache 2.0. It is a sparse MoE with 800 million total and about 100 million active parameters per token, trained on 112 H100s in 2.5 days.

💬 What's your take? Join the discussion in the comments.

Google Antigravity announced a new Knowledge Work interface layout on November 9, tuned for research, writing and artifacts. It keeps the same agent harness, plugins and MCP tools but drops the terminal and git clutter.

💬 What's your take? Join the discussion in the comments.

At 18:58 UTC on November 9 (2:58 a.m. on November 10 SGT), the official Claude account released Claude Fable 5.2 and Claude Mythos 5.2. They are the same underlying model: Fable ships with cybersecurity and biology safeguards and is open to all paid plans, the Claude Platform and the major clouds,…

💬 What's your take? Join the discussion in the comments.

Early on November 10 SGT, the official AI at Meta account introduced Muse Ember, which Meta calls its smallest and most efficient model so far. It targets the work agents repeat all day: tool calls, coding subtasks, routing, extraction and long document parsing.

💬 What's your take? Join the discussion in the comments.

On November 9, the official Google Cloud account and Amin Vahdat, Google SVP for AI and Infrastructure, announced two new eighth-generation TPU systems.

💬 What's your take? Join the discussion in the comments.