跳到正文
千机 API
2026 年 10 月 24 日 · 星期六每天 08:00 出刊

AI 日报 · 2026 年 10 月 24 日 · 星期六

千机新闻

第 23 期242026 年 10 月星期六
10件大事8个来源6件一手发布3个新模型约 4 分钟读完
头条

Moonshot 发布 Kimi K3.1 Pro,并承诺开放模型权重

Moonshot 将 Kimi K3.1 Pro 接入 API,并表示将在 2026 年 11 月 4 日前发布完整模型权重;该模型支持 100 万 token 上下文。另有审计发现 OpenAI 内部 AI 安全监控存在多处缺口,Anthropic 则用 Claude 为现有代码生成形式化证明并发现、修复数百个漏洞。

01

模型发布/更新

Simon Willison

Moonshot 将 Kimi K3.1 Pro 接入 API,并承诺 11 月 4 日前发布权重

Moonshot 将 Kimi K3.1 Pro 接入 Kimi API,并承诺在 2026 年 11 月 4 日前发布完整模型权重。模型输入价格为每百万 tokens $2.00、输出为 $10;另有价格翻倍、速度为 2-3x 的 Highspeed 版本。作者还通过 Moonshot API 测试了模型在 low、medium 和 max 三种推理级别下生成 SVG 的表现。

02

产品发布/更新

The Decoder

Anthropic 用 Claude 自动形式化验证现有代码并发现漏洞

Anthropic 使用 Claude 为现有软件生成数学证明,并由 Rocq 自动检查,项目在数周内产出约 1.8 亿行证明代码。过程中 Claude 发现并修复数百个漏洞,但证明只适用于特定处理器架构、单线程程序和小于 64 MB 的输入,单项证明还可能消耗数亿个 tokens。

03

行业动态

04

论文研究

05

技巧与观点

(本期完)

千机新闻 日报由编辑系统根据公开来源自动编辑,每条均附原文 · 日报合订本