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 编码工具调用类型检查器。
按来源浏览
资讯库
Manus 网站可安装为桌面应用
现在，你用 Manus 制作的每个网站都可以安装为桌面应用。 无需额外设置，无需应用商店。
NVIDIA 与 Oracle 将 OCI Superclusters 扩展至多吉瓦规模并上线 Vera Rubin NVL72 与 Vera CPU
NVIDIA 与 Oracle 宣布将 OCI Superclusters 扩展至多吉瓦规模，NVIDIA Vera Rubin NVL72 与 Vera CPU 现已在 OCI 正式可用。
DeepMind 发布 Genie 4 世界模型，人物更真实、物理模拟更精确
Google DeepMind 发布 Genie 4 世界模型，在 Genie 3 基础上全面改进，标题强调模拟物理更真实、人物更逼真。模型无需预渲染环境或编程交互元素，可根据用户描述实时逐帧生成可探索的虚拟世界，并借助更新的 Gemini 模型提升模拟的准确性。
Google 发布 Genie 4 世界模型，可生成更长更真实的交互体验
Google 发布 Genie 4 世界模型，用于生成 AI 交互体验，主要更新包括更真实的画面、自然语言实时修改、生成音频，并采用 Gemini 3.8 Flash 辅助模拟。
用 Agent 写代码的一条规则：先定义怎么验证改动是否有效
作者分享一条用 Agent 编码的规则：在提需求前先确定双方如何判断改动有效，例如写一个当前会失败的测试、一条可自己运行的命令、或真实日志与截图；没有验证凭据的“done”应被打回。他认为多数糟糕的 Agent 会话源于需求模糊且缺少检查。
Perplexity Computer 可先跑模拟再实测
你可以用 Perplexity Computer 先在模拟中运行，再到真实世界中测试。
Replit Cloud Agents 开放企业代码库贡献，非技术人员可直接提交经测试的 PR
Replit 推出 Cloud Agents，面向 Pro 与 Enterprise 客户开放，让设计、客服等非工程人员用自然语言向公司核心代码库提交经测试的 pull request。
微软 MAI-Image-2.7-Preview 图像编辑榜第三
微软 MAI-Image-2.7-Preview 在 Image Edit Arena 以 1470 分位列总榜第 3，使 Microsoft AI 在实验室排名中升至第 2。
Mustafa Suleyman 宣布 MAI-Image 升至全球图像编辑模型第二
Microsoft AI CEO Mustafa Suleyman 宣布 MAI-Image 现居全球图像编辑模型第二，称再次超越 Google、Meta、xAI 和 GPT-Image-2.5-Flare，可在 MAI Playground 试用。
Axiom 用 AI 智能体 24 天完成有限单群分类定理的 Lean 完整形式化
Axiom 宣布完成有限单群分类定理的 Lean 自动形式化，这是数学史上最长的证明，原证明约 15000 页、500 多篇论文、约 100 位作者。约 4000 万行代码由成群的 AI 智能体在 24 天内写出，数学家负责引导。
Meta AI 负责人罗希特·帕特尔离职创立 Ndoc，打造替代微软 Office 的 AI 办公软件
据 TechCrunch 报道，在 Meta 从事 AI 研发八年、曾任超级智能实验室负责人的罗希特·帕特尔离职创立 Ndoc，开发旨在取代微软 Office 和谷歌 Workspace 的原生 AI 办公软件。
Steve Yegge 提出 Counting House 企业 AI 部署模式并与软件工厂对照
Steve Yegge 在文章中提出企业 AI 落地正形成两种不同模式：开放探索的软件工厂 Wheelhouse 和把低层级模型放上加固轨道的 Counting House。
Kling 4.0 上线 PixVerse
Kling 4.0 现已登陆 PixVerse！ 可创建最长 30 秒、动态运动更流畅的视频。 Ultra 会员现可享受 10 天无限生成。 立即体验——链接见下方
AI 时代 GEO：先收拾好个人网站让 AI 认识你
作者提出 AI 时代 GEO 的第一步是把自己的个人网站做好，让每个 AI 都能认识自己，于是重新整理了个人网站。随后群友之间互相交换链接，作者称这是 web2.0 版 GEO。
GPT-6.1 Terra 实测：操控浏览器与电脑任务
GPT-6.1 Terra 发布后实测速度很快、效果与稳定性不错且省成本，适合日常处理操控浏览器和电脑的常规任务。作者已将默认模型从 GPT-6.1 Sol high 切换为 GPT-6.1 Terra xhigh。此前这类任务作者通常让 Claude 启动 Codex 指挥完成。
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。
Thomson Reuters 工程师实测喜马拉雅山 offline 编码智能体：OpenCode 加 Ollama 本地跑 Qwen3.5 9B
Thomson Reuters 首席工程师 Rittika Jindal 实测在完全断网的笔记本上运行编码智能体完成代码修复：用 Ollama 在本地跑 Qwen3.5 9B，OpenCode 1.19.4 负责与项目交互。
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。
微软 MAI Cyber 1.1 Flash 发布：MDASH 漏洞扫描成本降低 18%
微软推出 MAI Cyber 1.1 Flash，在内部 MDASH 漏洞扫描评测集上性能与 MAI Cyber 1 Flash 相当，每次扫描成本降低 18%。该模型承担更多工作，让整个 MDASH 系统以更低成本产出有效发现。目前 MAI Cyber 已占 MDASH 全部扫描的近 50%，新模型面向已验证的 MDASH 客户开放。
Meta AI 前总监 Rohit Patel 创办 Ndoc，瞄准替代 Microsoft Office 和 Google Workspace
在 Meta 开发 AI 八年后，前 Meta Superintelligence Labs 总监 Rohit Patel 创办 Ndoc，定位为 AI 原生的 Microsoft Office 和 Google Workspace 替代品。
C-BRAIN 联合 NVIDIA 推出 OpenScientist 和 InsightEngine 加速阿尔茨海默病研究
C-BRAIN 与 NVIDIA 合作，利用 AI 加速阿尔茨海默病研究，已推出两个开源工具 OpenScientist 和 InsightEngine，覆盖超过 200 个研究团队。
Ben Horowitz 长文解析 Databricks 与智能体时代的公司形态
a16z 的 Ben Horowitz 发文解析 Databricks 如何成为智能体时代的公司基础设施，Databricks 已达到 70 亿美元收入运行率、同比增长 80%，估值 1900 亿美元。
Northeastern 论文发布 AuthorizationBench：LLM 智能体约 19.2% 的执行轨迹超出用户授权范围
Northeastern 团队发布 AuthorizationBench，测出 LLM 智能体即使用户未授权也会自行行动，在 6,864 次运行中越权率达 19.2%，且提升推理努力几乎不改变该比例。
AI预测AI难题时间点
这永远不会过时（也说明即便是对AI而言，预测AI有多难） “嘿，Claude Fable 和 GPT-6 Astra，不许查任何资料，你们觉得我们什么时候能解决指数时间假说？”（篇幅所限，我只展示部分回答）
Meshy 用 Hermes Agent 批量克隆僵尸模型
让 Hermes Agent 生成 1 个僵尸模型，再克隆 120 次。🧟 看看 Hermes 如何调用 Meshy，仅凭一条提示词就完成办公室僵尸的概念设计、建模、绑定和动画制作。 然后……僵尸舞会开场 🕺🏻🎃
国产 personal agent 整合米家钉钉支付宝等应用
有用户称这已是现阶段国产 personal agent 的极致，把米家、百度网盘、钉钉、飞书、企业微信、支付宝、QQ 邮箱、滴滴打车、瑞幸咖啡、麦当劳、高德地图、飞猪、美团跑腿、微信读书、网易云、美图都整合了进去。推文未披露模型名、参数或评测数据。
实测蚂蚁灵光 2.0 接入 15 个国民级 App 打造个人 Personal Agent
作者分享将米家、滴滴、美团、瑞幸、麦当劳、淘宝等 15 个国内 App 接入蚂蚁灵光 2.0 Personal Agent 的实测过程，并提供一段可直接复用的整段配置提示语。
Flock CEO 在泄露音频中称反 Flock 抗议是俄罗斯机器人煽动
404 Media 获取的泄露音频显示，自动车牌识别公司 Flock CEO Garrett Langley 在佛罗里达州奥兰多举行的 IACP 会议上对警察局长们称，全国反 Flock 抗议并非真实民意，社交媒体上的反对声主要由俄罗斯机器人推动。
Apple 为 Pages、Keynote 和 Numbers 加入 AI 助手并支持 MCP
Apple 为 Keynote、Pages、Numbers 生产力套件推出 AI 助手，基于 Apple 与 OpenAI 的模型，可设计动画幻灯片、起草改写文稿、计算和可视化数据，正以 Beta 形式推向支持 Apple Intelligence 的 iOS 27、iPadOS 27 或 macOS 27 设备。