Google is offering the model through its API to paid developers and organizations, and to Ultra subscribers; its starting price matches Argon’s. The company says Carbon ranks highly on several workflow benchmarks and performs strongly in cybersecurity tests, while noting that its resistance to prompt injection needs improvement.
Google has made Gemini 4 Carbon available to paid developers and organizations, as well as Ultra subscribers. The company positions the model for complex reasoning and cybersecurity tasks.
02RESEARCH
DeepMind says AlphaProof Code formally verified Signal code
Google DeepMind says its multi-LLM-agent framework, AlphaProof Code, formally proved expert-defined security properties in compiled Signal protocol code. Agents powered by Gemini Carbon produced more than six million lines of Lean code over four weeks. The result is limited to the specified properties.
Google DeepMind says it used AlphaProof Code to verify expert-defined security properties in Signal’s actual code.
03INDUSTRY
Anthropic targets $70–$78 per share in IPO
In an updated IPO filing, Anthropic said it would offer 825 million Class A shares at $70–$78 each, expecting proceeds of $57.75–$64.35 billion. The top price could bring its diluted valuation to $1.404 trillion; buyers of Class A shares will have limited voting influence.
Anthropic plans to offer 825 million Class A shares at $70–$78 each, targeting a $1.404 trillion valuation at the top of the range.
04POLICY & LAW
New York opens registration portal for major AI developers
Developers with annual revenue above $500 million must register by January 1, 2027. The law requires companies to publish safety frameworks and report critical incidents within 72 hours. Violations can incur fines of up to $1 million, rising to $3 million for subsequent violations.
New York has launched a portal for major frontier AI developers to register under the RAISE Act.
05CHIPS & INFRASTRUCTURE
Google announces TPU 8tx and TPU 8i Max systems
Google added 8tx, designed for inference with sensitive data, and 8i Max, for long-context workloads, to its eighth-generation TPU family. The company says 8tx offers up to twice the latency reduction of TPU 8t, while 8i Max doubles TPU 8i’s compute, SRAM, and HBM bandwidth.
Google introduced TPU 8tx for confidential inference and TPU 8i Max for long-context workloads and high rack density.
06PRODUCTS
Claude opens Whiteboards and Sheets beta for teams
Anthropic launched Claude Whiteboards and Sheets in beta, while Claude Dashboards became generally available as Claude Data. Whiteboards lets teams create shared boards; Sheets lets them build and edit spreadsheets with Claude. Sheets is currently limited to basic functions, while certified queries and live sharing in Claude Data remain in beta.
Claude has launched Whiteboards and Sheets in beta for teams to create shared boards and spreadsheets, while Claude Data is generally available.
07MODELS
Gemini Robotics 2.5 tested in Mercedes-Benz factories
Google DeepMind upgraded its Gemini Robotics model to version 2.5 for robotic tasks. The company reported a 30–100% increase in laboratory success rates over the previous version and 96% success by robots kitting automotive parts at Mercedes-Benz factories. DeepMind says this result remains below human performance.
Google DeepMind introduced Gemini Robotics 2.5 for robotic tasks; robots using it achieved 96% success kitting automotive parts at Mercedes-Benz factories.
08SECURITY
Fireworks AI incident affected under 1% of Notion workspaces
Notion said the security incident at Fireworks AI affected fewer than 1% of workspaces. The company said it contacted affected customers and that its investigation is ongoing. According to Notion, Fireworks retained data despite a zero-data-retention commitment; Notion disconnected the service and deleted the data as of November 3.
Notion said the Fireworks AI incident affected fewer than 1% of workspaces and that its investigation is ongoing.
✓
That’s it for today.The rest of your time is yours.
Your daily technology digest, every morning in English. Free. Unsubscribe anytime.
Sources, in the open.
Stories are selected from Hacker News; accessible original articles are summarized and translated with AI. Summaries may contain errors; check the source beneath each story for details. Preparation starts daily at 06:55 Türkiye time (UTC+3), targeting publication before 07:00.
Stories are read aloud by an AI voice.
This edition covers articles shared on Hacker News on the date shown above.
Now on the App Store for iPhone
Your daily digest. Now in your pocket.
Read or listen to a new edition every morning with Kısa for iPhone, save stories for later and keep your streak.
