2026-10-27
Meta 发布 2026 Python Typing Survey：AI 工具改写类型标注，新检查器快速崛起
Meta 发布 2026 Python Typing Survey 结果，共 1,794 份回复，连续三年追踪 Python 类型标注的使用与体验。AI 工具为 42.5% 的受访者编写类型提示，认为 AI 让代码更可靠的比例从 2025 年 18.5% 升至 38.4%，24.4% 的受访者由 AI 编码工具调用类型检查器。
最新更新
首页已经看过的不重复列。下面从更早的内容继续，可以一直往下滚。
2026-10-27
90.5% 到 81.0%：那个故意「自废武功」的开源模型
Moonshot AI 的 Kimi K3.1 Pro 成为迄今测得的最强开放权重模型（智能指数 55），同时刻意将网络攻击能力从 90.5% 降至 81.0%，以 Opus 5.5 一半的 API 价格提供接近前沿的性能，但在冗长度、评测框架差异和自托管成本方面存在重要注意事项。
2026-10-27
Manus 网站可安装为桌面应用
现在，你用 Manus 制作的每个网站都可以安装为桌面应用。 无需额外设置，无需应用商店。
2026-10-27
从硬件来切通用的 personal agent 很难； 硬件更适 - 即刻 App
作者认为从硬件切入通用个人智能体（Personal Agent）难度极大，硬件更适合深耕垂类场景，而通用智能体巨头未来将通过布局硬件来获取数据采集能力。
2026-10-27
用 Agent 写代码的一条规则：先定义怎么验证改动是否有效
作者分享一条用 Agent 编码的规则：在提需求前先确定双方如何判断改动有效，例如写一个当前会失败的测试、一条可自己运行的命令、或真实日志与截图；没有验证凭据的“done”应被打回。他认为多数糟糕的 Agent 会话源于需求模糊且缺少检查。
2026-10-27
Perplexity Computer 可先跑模拟再实测
你可以用 Perplexity Computer 先在模拟中运行，再到真实世界中测试。
2026-10-27
Replit Cloud Agents 开放企业代码库贡献，非技术人员可直接提交经测试的 PR
Replit 推出 Cloud Agents，面向 Pro 与 Enterprise 客户开放，让设计、客服等非工程人员用自然语言向公司核心代码库提交经测试的 pull request。
2026-10-27
Meta AI 负责人罗希特·帕特尔离职创立 Ndoc，打造替代微软 Office 的 AI 办公软件
据 TechCrunch 报道，在 Meta 从事 AI 研发八年、曾任超级智能实验室负责人的罗希特·帕特尔离职创立 Ndoc，开发旨在取代微软 Office 和谷歌 Workspace 的原生 AI 办公软件。
2026-10-27
微软 MAI-Image-2.7-Preview 图像编辑榜第三
微软 MAI-Image-2.7-Preview 在 Image Edit Arena 以 1470 分位列总榜第 3，使 Microsoft AI 在实验室排名中升至第 2。
2026-10-27
Steve Yegge 提出 Counting House 企业 AI 部署模式并与软件工厂对照
Steve Yegge 在文章中提出企业 AI 落地正形成两种不同模式：开放探索的软件工厂 Wheelhouse 和把低层级模型放上加固轨道的 Counting House。
2026-10-27
Axiom 用 AI 智能体 24 天完成有限单群分类定理的 Lean 完整形式化
Axiom 宣布完成有限单群分类定理的 Lean 自动形式化，这是数学史上最长的证明，原证明约 15000 页、500 多篇论文、约 100 位作者。约 4000 万行代码由成群的 AI 智能体在 24 天内写出，数学家负责引导。
2026-10-27
Mustafa Suleyman 宣布 MAI-Image 升至全球图像编辑模型第二
Microsoft AI CEO Mustafa Suleyman 宣布 MAI-Image 现居全球图像编辑模型第二，称再次超越 Google、Meta、xAI 和 GPT-Image-2.5-Flare，可在 MAI Playground 试用。
2026-10-27
Microsoft AI 发布 MAI Image 2.7 图像编辑模型，登 Arena 第 3 和 Artificial Analysis 第 2
Microsoft AI 发布图像编辑模型 MAI Image 2.7 预览版，在 Arena Edit 排名第 3（使 Microsoft AI 成为第 2 的实验室），在 Artificial Analysis 图像编辑榜单排名第 2。
2026-10-27
Spark-X2.6-1.7B 发布：紧凑模型带来更强的编程与智能体能力
Spark-X2.6-1.7B 发布，在编程与智能体任务上的基准测试成绩较前代显著提升，提供紧凑的 1.7B 参数模型，针对端侧部署优化，并支持多种量化格式。
2026-10-27
Microsoft MAI-Image-2.7-Preview 在 AA-Image-Editing v2.1 排名第二
Artificial Analysis 评测显示，Microsoft AI 新图像编辑模型 MAI-Image-2.7-Preview 在 AA-Image-Editing v2.1 排名第二，仅次于 OpenAI 的 GPT Image 2.5 Sunburst (max)，并全面超越 8 月发布的 MAI-Image-2.6。
2026-10-27
Maya 2 TTS：十一种印度语言，一个尴尬的文件夹名
Maya Research 发布 Maya 2 Native，一个 Apache 2.0 许可的 TTS 模型，覆盖 11 种印度语言及英语，印地语基准表现有竞争力，但在 5 GB 权重和 API 延迟细节上存在实际部署限制。
2026-10-27
C-BRAIN 联合 NVIDIA 推出 OpenScientist 和 InsightEngine 加速阿尔茨海默病研究
C-BRAIN 与 NVIDIA 合作，利用 AI 加速阿尔茨海默病研究，已推出两个开源工具 OpenScientist 和 InsightEngine，覆盖超过 200 个研究团队。
2026-10-27
一笔 9 亿美元银行误付款，给 AI 智能体治理什么启示？｜Two Sigma 的 John Feminella
John Feminella 从 Revlon 贷款误付款切入，说明企业如何用五类可组合的控制，让智能体拥有实用自主权，同时落实与风险相称的边界。
2026-10-27
微软 MAI Cyber 1.1 Flash 发布：MDASH 漏洞扫描成本降低 18%
微软推出 MAI Cyber 1.1 Flash，在内部 MDASH 漏洞扫描评测集上性能与 MAI Cyber 1 Flash 相当，每次扫描成本降低 18%。该模型承担更多工作，让整个 MDASH 系统以更低成本产出有效发现。目前 MAI Cyber 已占 MDASH 全部扫描的近 50%，新模型面向已验证的 MDASH 客户开放。
2026-10-27
Meta AI 前总监 Rohit Patel 创办 Ndoc，瞄准替代 Microsoft Office 和 Google Workspace
在 Meta 开发 AI 八年后，前 Meta Superintelligence Labs 总监 Rohit Patel 创办 Ndoc，定位为 AI 原生的 Microsoft Office 和 Google Workspace 替代品。
2026-10-27
GPT-6.1 Terra 实测：操控浏览器与电脑任务
GPT-6.1 Terra 发布后实测速度很快、效果与稳定性不错且省成本，适合日常处理操控浏览器和电脑的常规任务。作者已将默认模型从 GPT-6.1 Sol high 切换为 GPT-6.1 Terra xhigh。此前这类任务作者通常让 Claude 启动 Codex 指挥完成。
2026-10-27
AI 时代 GEO：先收拾好个人网站让 AI 认识你
作者提出 AI 时代 GEO 的第一步是把自己的个人网站做好，让每个 AI 都能认识自己，于是重新整理了个人网站。随后群友之间互相交换链接，作者称这是 web2.0 版 GEO。
2026-10-27
在喜马拉雅山用离线 AI 智能体写代码
作者演示了在喜马拉雅山的一台笔记本电脑上运行完全离线的 AI 编程智能体（OpenCode 搭配 Ollama 和 Qwen3.5 9B），在没有网络连接的情况下成功修复了一个 bug。
2026-10-27
Thomson Reuters 工程师实测喜马拉雅山 offline 编码智能体：OpenCode 加 Ollama 本地跑 Qwen3.5 9B
Thomson Reuters 首席工程师 Rittika Jindal 实测在完全断网的笔记本上运行编码智能体完成代码修复：用 Ollama 在本地跑 Qwen3.5 9B，OpenCode 1.19.4 负责与项目交互。
2026-10-27
Anthropic 上半年实际已盈利；腾讯绿泡泡短剧月活达红果 1/4……
新皮层晚报汇总 Anthropic 招股书揭示营收暴增与千亿算力承诺、Meta 与 SpaceX 巨额融资买算力、微软大规模买断裁员、Kimi K3.1 Pro 靠后训练提升、腾讯混元开源世界模型 Hy-Nomas、即梦整合小云雀发布短剧工作室、腾讯绿泡泡短剧月活破亿挑战红果等七大 AI 与科技要闻。
2026-10-27
Anthropic 是世界上最好的企业吗？
Ben Tossell 探讨了个人 AI 智能体的快速演进，重点介绍了 Hark 和 Tab 的新发布、引发热议的「AI 妻子」讨论，以及包括 OpenAI 的 GPT-6 和 Anthropic 的 Claude Haiku 5.5 在内的重大模型更新，同时讨论了管理智能体访问权限的实用工具，以及社区围绕 token 成本和开源定义的争论。
2026-10-27
Kling 4.0 上线 PixVerse
Kling 4.0 现已登陆 PixVerse！ 可创建最长 30 秒、动态运动更流畅的视频。 Ultra 会员现可享受 10 天无限生成。 立即体验——链接见下方
2026-10-27
继英伟达 30 亿美元之后：AMD 也宣布向 Meta 投资 10 亿美元深化 AI 基础设施合作，覆盖 EPYC、Instinct GPU、ROCm 软件
IT之家 10 月 27 日消息，继英伟达的 30 亿美元之后，AMD 也宣布向 Meta 的股权发行投资 10 亿美元 （IT之家注：现汇率约合 66.84 亿元人民币） ，从而进一步深化与 Meta 的战略合作。 双方将围绕 CPU、GPU、网络、系统及软件展开协作，为 Meta 的人工智能基础设施及 AI 服务提供算力支持。
2026-10-27
Northeastern 论文发布 AuthorizationBench：LLM 智能体约 19.2% 的执行轨迹超出用户授权范围
Northeastern 团队发布 AuthorizationBench，测出 LLM 智能体即使用户未授权也会自行行动，在 6,864 次运行中越权率达 19.2%，且提升推理努力几乎不改变该比例。
2026-10-27
Ben Horowitz 长文解析 Databricks 与智能体时代的公司形态
a16z 的 Ben Horowitz 发文解析 Databricks 如何成为智能体时代的公司基础设施，Databricks 已达到 70 亿美元收入运行率、同比增长 80%，估值 1900 亿美元。
