开发者广场与 AI 编程动态

Mistral 10 月 29 日发布改进版 Mistral Large 4（Le Chonk）并开放权重，已上架 Hugging Face（另有 NVFP4 量化版），API 名为 mistral-large-4。

💬 你怎么看？欢迎在评论区讨论。

微软 10 月 28 日公布截至 9 月 30 日的 FY27 第一财季业绩：营收 923 亿美元（+19%），Microsoft Cloud 收入 639 亿美元（+30%），Azure 收入增速从上季度的 42% 加速到 48%，商业剩余履约义务达 6770 亿美元（+73%）。

💬 你怎么看？欢迎在评论区讨论。

GitHub 于 10 月 28 日（Universe 2026）宣布新的「Copilot access」计费模式：持有 GitHub Enterprise Cloud 许可的用户不再收 Copilot 席位费，没有该许可的用户可买每人每月 10 美元的 Copilot Standalone；两者功能和模型与…

💬 你怎么看？欢迎在评论区讨论。

Google 于 10 月 28 日推出 Connected Apps Platform 预览版，开发者通过云端托管的 MCP 服务器或 Android MCP（Jetpack AppFunctions）接入，在 Google Connected Console 注册、测试、提交审核，并选择上线到搜索、Gemini…

💬 你怎么看？欢迎在评论区讨论。

这是一条 X 热议，不是正式发布。10 月 28 日（SGT 10 月 29 日 06:05），X 用户 Angel（@Angaisb_）发布截图称「ChatGPT 正在统一 Chat 和 Work」，并追问用量额度会怎么变，获得约 44 万次浏览。

💬 你怎么看？欢迎在评论区讨论。

Mixpanel 创始人 Suhail Doshi 10 月 28 日（SGT 10 月 29 日 01:36）在 X 上宣布新公司 Particle，首个模型 Particle-1 已上线。

💬 你怎么看？欢迎在评论区讨论。

OpenAI Developers 10 月 28 日（SGT 10 月 29 日 07:17）在 X 上宣布：符合条件的 ChatGPT Pro 和 Business 订阅即日起可领取 API 额度，每月最多 500 美元。

💬 你怎么看？欢迎在评论区讨论。

Alphabet 10 月 28 日美股盘后发布 2026 年第三季度财报：营收 1276 亿美元，同比增长 25%；Google Cloud 营收 307 亿美元，同比增长 103%，官方称由企业 AI 基础设施、AI 解决方案和 TPU 系统销售拉动。

💬 你怎么看？欢迎在评论区讨论。

GitHub 10 月 28 日在 Universe 2026 宣布 Copilot Fusion 正式可用（GA）。它把此前研究预览的 Project HydraFusion 多模型编排和 Copilot auto 模型选择合并：用户在模型选择器里选 Copilot Fusion 和努力档位（Standard /…

💬 你怎么看？欢迎在评论区讨论。

Google DeepMind 10 月 28 日发布 Gemini 4 Carbon，称其为目前最强模型，距 Gemini 4 Argon 上线仅两周。官方博客称它在 Artificial Analysis 智能指数 v5.0 以 59 分排名第一，并在网络安全三项评测领先：SEC-bench Pro 找漏洞…

💬 你怎么看？欢迎在评论区讨论。

Anthropic 前沿红队（Frontier Red Team）10 月 27 日发布研究文章，称过去几个月用一个未发布的内部研究模型，在浏览器和操作系统中发现严重漏洞，并在「初始提示」后由 Claude 写出五条完整利用链：Chrome 一键远程代码执行并逃出沙箱、Safari 绕过同源策略、Android…

💬 你怎么看？欢迎在评论区讨论。

面壁智能旗下 OpenBMB 10 月 27 日开源 MiniCPM-OCR 套件，含两款模型：1.3B 参数的文档解析模型 MiniCPM-OCR 1.0（Real5-OmniDocBench 93.68、OCRBench v2 54.7，官方口径），以及 2B 参数的 OCR 质量判定模型 MiniCPM-OCR…

💬 你怎么看？欢迎在评论区讨论。

独立评测机构 Artificial Analysis 10 月 28 日发布 Intelligence Index v5，是 1 月 v4 以来最大一次改版：新增 Cognition 的 FrontierCode 2.0 和 Terminal-Bench-Science，用 HLE-Diamond 替换…

💬 你怎么看？欢迎在评论区讨论。

扩散智能 DiffuSpace（成员来自推出 Dream 7B 的港大 NLP 实验室）10 月 28 日发布首个模型 Clover-35B-A3B-Preview：基于 Qwen3.6-35B-A3B 初始化的 MoE 扩散语言模型，总参 35B、激活约 3B、128K 上下文，按块并行去噪生成。

💬 你怎么看？欢迎在评论区讨论。

创业者、Late Checkout CEO Greg Isenberg（@gregisenberg，约 75 万关注）10 月 27 日在 X 上发帖：「SaaS 正在变免费：CRM、仪表盘、App 都白送，只为真正干活的 Agent 收费。

💬 你怎么看？欢迎在评论区讨论。

投资人 Guillermo Flor（@guilleflorvs）10 月 26 日在 X 上转发了一段 Anthropic CEO Dario Amodei 的视频片段：Amodei 说 Claude 告诉别人「重启你的 Mac」已经说了约 1000…

💬 你怎么看？欢迎在评论区讨论。

Google DeepMind 10 月 27 日发布 Genie 4，称其为迄今最逼真、交互性最强的世界模型。它基于 Gemini Omni，提升了物理和人物动作的真实感，首次原生生成环境声和可互动的角色对话，并由 Gemini 3.8 Flash 在回路中规划复杂事件。

💬 你怎么看？欢迎在评论区讨论。

AI 数学公司 Axiom 10 月 27 日宣布，用数十个 AI Agent 组成的集群，在 24 天内把有限单群分类定理（CFSG，原证明约 1.5 万页、500 多篇论文、约 100 位数学家）完整形式化到 Lean 证明助手，产出约 4310 万行 Lean 代码、205 万条声明，并在 GitHub…

💬 你怎么看？欢迎在评论区讨论。

Anthropic 在官方 GitHub 仓库 anthropics/formal-math 发布论文《A 2^o(n) Time Algorithm for 3-SAT》（署名 Claude, Anthropic）及 AI 编写的 Lean 4 形式化证明，称确定性算法可在 2^o(n) 时间内求解…

💬 你怎么看？欢迎在评论区讨论。

Entire 联合创始人兼 CEO Thomas Dohmke 10 月 26 日在 X 和官方博客宣布 Entire 正式上线，定位是「为 Agent 与人协作打造的 Git 托管平台」。

💬 你怎么看？欢迎在评论区讨论。