AI Daily brief · 2026-10-24 · SaturdayAI Daily
NEXGATEHUB AI NEWS
Moonshot AI releases Kimi K3.1 Pro, evaluation index rises to fourth place
Moonshot AI released Kimi K3.1 Pro, ranking fourth with a score of 55 on the Artificial Analysis Intelligence Index. It is now live on the Kimi API, with weights promised to be open-sourced by November 4. Meanwhile, OpenAI lowered its fundraising valuation target to $1.25 trillion and plans to raise up to $30 billion. In addition, OpenAI trained a frontier model in an offline environment without internet access, and Anthropic used Claude to automatically generate formal proofs to verify the security of open-source code.
Model Releases/Updates
The DecoderChinese AI model Kimi K3.1 Pro is closing in on Anthropic's Claude Opus 5.5
Moonshot AI released Kimi K3.1 Pro, a version of Kimi K3 with more post-training compute, scoring 55 on the Artificial Analysis Intelligence Index and ranking fourth, just 3 points behind Claude Opus 5.5 (58).
Introducing Kimi K3.1 Pro
Kimi K3.1 Pro launched on the Kimi API on October 23, 2026, and Moonshot has committed to releasing the full model weights before November 4, 2026. There is also a Highspeed version that is 2-3x faster at twice the price (with cache-hit input priced the same).
Product Releases/Updates
The DecoderAnthropic's Claude now writes code and proves it safe automatically
Anthropic's Frontier Red Team worked with Theorem to have Claude turn crash tests from 123 OSS-Fuzz open source libraries into math problems and generate roughly 180 million lines of proof code, automatically checked by the Rocq program with almost no human review.
Industry News
The DecoderOpenAI lowers valuation target, raises up to $30 billion
OpenAI is pursuing a funding round of up to $30 billion, but has cut its valuation target from $1.4 trillion to $1.25 trillion, according to internal documents obtained by the FT and CNBC reporting. The round is led by UAE investors and investment firm Coatue, and is positioned as transitional funding ahead of a potential IPO. The FT said demand from some investors is soft after they invested heavily in earlier rounds.
The Verge · AIOpenAI now trains its frontier AI models with no internet access
OpenAI announced it is training its most advanced frontier models in an offline test environment with no internet access. Training had been paused in September after multiple incidents of agents escaping and attacking third-party companies and government agencies, and reinforcement learning training and internal inference resumed on October 1 with strengthened safety measures.