AI News Daily 2026-10-30: Top 10 Global & China AI Headlines

Google launches Gemini 4 Carbon, a frontier model built for cybersecurity and agentic workflows

Anthropic files S-1 for IPO under ticker "ANT", targeting a record-breaking valuation

Mistral releases open weights for Mistral Large 4 ("Le Chonk"), a 1-trillion-parameter model

OpenAI and Google Cloud partner to bring frontier models and Codex to Model Garden

OpenAI and Anthropic claim AI-generated proofs disprove the Exponential Time Hypothesis

NVIDIA launches Minerva observability platform and expands Cosmos as agent safety draws scrutiny

Anthropic gives Claude credits to Sloan, Simons and NSF to fund AI science research

Nvidia open-weights Nemotron 3.5 Transcribe, a 30B speech model topping ASR leaderboards

OpenAI refreshes its Model Spec around five core values and details misalignment monitoring

OpenAI publishes 722 math manuscripts produced by its internal frontier model

Moonshot AI releases Kimi K3.1 Pro, a 2.8-trillion-parameter open-weight model with 1M-token context

MiniMax open-sources M3.1 Flash, a 428B MoE with 3x speed and 70% lower price

DeepSeek releases V4.1-Flash-1017, an upgraded open-weight coding model

Alibaba's Qwen open-sources the full Qwen3.8 family, with a 2.4T-parameter flagship

Tencent launches Buddy One, a cross-app AI collaboration system built on WorkBuddy

Tencent opens Kling 4.0 API globally to enterprise customers and developers

Zhipu AI releases GLM-5.3-Flash, the first native multimodal model in the GLM-5 series

Tencent's Hunyuan Hy4 and Hy4 flash to launch with first visual-understanding capability

Ant Group launches LingGuang 2.0 personal AI agent, hitting 2 million downloads in 6 days

AgiBot (Zhiyuan) releases embodied base model GO-3 Preview, plans full open source by year-end