用 Python 3.15 对 web-edit 做性能剖析:火焰图与源码热力图
用 Python 3.15 内置的 `profiling.sampling` 对未修改的 web-edit 应用做性能剖析,发现混合换行符保留是编辑负载的主要瓶颈:`preserve_endings` 出现在 15,296 个 CPU 栈的 64.8% 中,`SequenceMatcher.find_longest_match` 占叶子样本的 38.3%。
用 Python 3.15 内置的 `profiling.sampling` 对未修改的 web-edit 应用做性能剖析,发现混合换行符保留是编辑负载的主要瓶颈:`preserve_endings` 出现在 15,296 个 CPU 栈的 64.8% 中,`SequenceMatcher.find_longest_match` 占叶子样本的 38.3%。
微软研究院提出 StudentSim,一个从公开去标识化学习记录训练个性化 AI 学生模拟器的研究系统,用于在真实学习者测试前评估和改进 AI 辅导工具。该系统同时发布 StudentSimEval 基准,覆盖国际象棋、第二语言英语写作和数学,从行为保真度与指导响应性两个维度评估模拟器,并优于领先基线。StudentSim 并非产品,不部署于课堂,也不旨在取代教师。
Simon Willison 发布 web-edit 0.1a0,一个用于在文件夹中查看和编辑文件的 Python Web 应用,由 Codex 和 GPT-6 Astra Extra High 构建。该应用使用 CodeMirror 6 编辑器,设计通过 Tailscale 运行,可从手机直接编辑文件而无需将凭据经 LLM 中转。
AWS 发布 llama.cpp 专用深度学习容器(DLC),可在 Amazon SageMaker AI 上以 CPU 或 GPU 托管方式部署量化模型,并通过 InvokeEndpoint 提供 OpenAI 兼容的 chat completions。
AWS 发布面向多节点部署的 Ray LLM Deep Learning Containers,可在 Amazon EKS 上用两个 GPU 节点部署单个大语言模型,将 prefill 与 decode 分离并统一在一个 OpenAI 兼容端点之后。
Honeyjar 推出一套 AI 公关与传播工具,可自动撰写公告、筛选目标记者、搭建媒体名单、监测新闻与社交并发现演讲机会。其候补名单开放 24 小时内收到 10,000 个注册,测试方包括 Nextdoor、Coco Robotics、Bloomberg Beta 及 Mission North、Full Picture。
微软总裁 Brad Smith 呼吁对 AI 进行紧急监管,并认为英国而非美国或欧盟最适合主导全球安全规则。他称 AI 既是“武器也是工具”,正危及全球网络安全,并主张 AI 产品发布前需经外部评估、系统被失控 AI 智能体攻破时须依法上报,以及设置“终止开关”。
Blueprints AI 在 TechCrunch Disrupt 上发布第二代软件,可从 2D 草图或 PDF 在数分钟内生成符合规范、可直接报批的建筑施工蓝图。该版本支持一次生成建筑、结构、机电、给排水和室内设计图纸,一处改动会同步更新整个项目并对照当地建筑规范校验。第一代软件月费 3,200 至 8,500 美元,第二代本周公开上线,持证建筑师仍需审核盖章。
前Plaud高管Peter Mo创办的Ambi完成由Luminous Ventures和华勤领投的2600万美元多轮融资,并推出iPhone、Mac和Apple Watch应用。该应用可全天候监听用户,基于日历、会议、知识库和网络数据,由AI智能体在会议进行中主动给出建议,并支持跨设备续接任务。环境数据采集默认关闭,用户可随时关闭,但披露录音的责任仍在用户一方。
Amazon 已在全球仓库部署超过 100 万台机器人,全天候支撑每日数千万件当日达和次日达包裹配送,并计划新建工厂进一步扩大机器人队伍。与此同时,据其 2025 年年报,Amazon 仍是全球第二大企业雇主,拥有超过 150 万名全职和兼职人类员工。Amazon 高管称机器人接管了最繁重、最易致伤的工作,但劳工倡导组织和独立研究者认为,AI 驱动的仓库自动化对人类员工并非全是好处。
《金融时报》援引PitchBook数据,截至2026年10月8日,全球机器人和物理AI企业今年累计融资接近480亿美元,已超过去年全年,约为2025年全年的1.7倍。
思灵机器人 Agile Robots 在第 26 届中国国际工业博览会展出 12 款展品,覆盖具身智能、具身模型、科研生态、消费应用与工业落地五大展区。重点展品包括与 Franka Robotics 融合的 Mobile FR3 Duo 双臂移动科研平台、支持五种理疗模式的 AI 理疗康养机器人,以及可拖拽打点的摄影机器人。公司自 2018 年创立以来累计向全球客户交付接近 40000 台机器人。
字节在抖音集团《2026 美好奇妙夜》科技节目现场首次展示其尚未正式发布的世界模型,由影视飓风的Tim演示,输入一句话即可生成微缩小人视角的房间,并支持自由飞行、凭空生成勺子等物体、与物体交互以及用任意门连通不同场景。
数学爱好者 nor 用 GPT-6 Astra 严格证明了摆圆问题中 N=15、16、17、18 和 20 这 5 种情况,此前仅 N≤14 和 N=19 得到验证。
华为诺亚方舟实验室联合 UCL 等团队提出 Memento 3 智能体系统,以 Claude Opus 5 为底模且不更新权重、不做微调,通关 ARC-AGI-3 公开集全部 25 款游戏、183 个关卡,取得满分 100 的 RHAE 成绩,总操作 7518 次,比人类的 17135 次少约 56%。
智谱在 Zcode 3.15.1 中灰度上线 GLM-5.3-Highspeed 模型,订阅用户随机获得体验资格,有网友晒出 490 tokens/s 的输出速度。
苹果将于周二发布名为 HomeView 的智能家居中枢,搭载 A18 芯片、带显示屏并由 Siri 驱动,可控制其他智能家居设备,将推出台面款和壁挂款两种型号。苹果还将在同日更新 Apple TV 和 HomePod mini,并计划宣布与 LG 合作打造智能锁、恒温器和门铃。
TechCrunch Disrupt 2026 将于 10 月 13-15 日在旧金山 Moscone West 举行,超过 10,000 名创始人、投资者和科技领袖参会,250 多位演讲者将带来 200+ 场会议,并有 300+ 初创公司参展。现场门票 10 月 13 日上午 8 点(PT)起涨价,此前购票最高可省 100 美元,同类型第二张票享 5 折。
Amazon 效仿 Microsoft,宣布在与地方政府谈判数据中心时不再使用保密协议(NDA)。TechCrunch 的 Equity 播客讨论认为,此举或有助于缓解社区对数据中心的反对,但 Rebecca Bellan 质疑各地一至两年的暂停令实际影响有限,因为数据中心本就要两到五年才能上线。Sean O'Kane 则指出,行业沟通不力才是反弹的根本原因。
PolyAI CTO Shawn Wen 与 Otter CMO Alex Gay 认为,语音 AI 虽已实现全双工模型,但尚未迎来自己的 ChatGPT 时刻,下一步挑战是让推理足够快、对话自然。Wen 指出 ASR 模型常漏掉关键词,影响上下文理解;Gay 称转录准确率是下游自动化的基础,一旦出错用户就会失去对平台的信任。两人还强调工具应主动告知用户正在被录音或在与 AI 对话。
个人开发者猫叔在 GitHub 发布 Open Academic Paper Gen,一套生成论文初稿的多智能体工作流,把选题到导出拆成确定研究范围、检索文献、清理筛选、分析趋势、寻找切入点、列提纲、写作、核验、导出九个阶段。
何恺明团队在论文《VISTA: A Visual Harness for Reasoning in an Interactive World》中提出视觉原生 Harness 框架 VISTA,让现有多模态模型直接观察环境、保存原始画面,并在推理时随时回看、放大和检查细节,无需从头训练。
菲尔兹奖得主陶哲轩发文提出数学2.0时代已至,建立在证明稀缺之上的数学1.0时代即将落幕。他认为AI让获取解答的门槛降低,但判断解答是否正确、贡献多大以及与已有研究衔接仍需认真处理,否则会出现解出题却未增加理解的错位。他呼吁建立更透明的评估机制,把失败结果和AI算力成本一并纳入报告,并主张减少对抢先生成证明的强调,增加对解释、评审和知识整理的重视。
OpenAI 于 10 月 7 日一次性放出 722 篇数学手稿,论文和部分 Lean 证明上传 GitHub,作者栏只署 OpenAI。其中编号 074 的两篇共 272 页,一篇声称证明三维挂谷极大函数猜想,比王虹与 Joshua Zahl 的版本更强,另一篇声称把四维挂谷集的 Hausdorff 维数直接证到 4。
推荐理由:OpenAI 一次性放出 722 篇数学手稿,其中两篇把挂谷猜想从三维推到四维,可据此观察 AI 批量产出数学证明引发的审稿与署名争议。
量子位报道称,硅谷AI竞争正转向算力争夺,谷歌以27亿美元请回的Transformer作者Noam Shazeer因团队算力被重新分配而转投OpenAI,哈萨比斯也曾对项目算力不足表达不满。
OpenAI 将于 10 月 23 日停用 GPT-4o 最早的 API 快照(2024-05-13 版本),Keep4o 支持者仍在推动 OpenAI 以存档式开放权重方式放出 GPT-4o 权重。
民间开发者 FeiZ 基于 DeepSeek Harness 推出插件 ds-bot,可组建多 Bot 团队,每个 Bot 可设置名称、角色、指令和背后调用的模型,并拥有持久化长期记忆。
Simon Willison 在 10 月 11 日的笔记中指出,Dwarf Fortress 现已使用版本控制。原文未披露所用工具、版本号或具体改动细节。
Python 3.15.0 已被加入 actions/python-versions,现在可以在 GitHub Actions 测试矩阵中填入 "3.15",针对这一新版本运行测试。作者此前等待了数日,甚至让 ChatGPT 每小时拉取一次代码库,以便在稳定版 3.15 落地时收到通知。
Latent Space 面向付费订阅用户开放纽约线下聚会,正文仅显示订阅者可继续阅读的提示,未披露具体时间、地点或议程。该内容属订阅专属,需 7 天免费试用或付费订阅才能查看全文。
微软 CEO Satya Nadella 在 X 上发文称,应当退后一步评估 AI 的信任架构,不能把超级智能当作一组嵌套黑箱,只是接受或拒绝它的建议、回答和行动。
Apple 向欧盟委员会披露,已同意向 Huxe AI 部分员工发出聘用邀约,并获得 Huxe 知识产权的非独家授权。Huxe 由曾参与 NotebookLM AI 播客功能的开发者创立,已于 5 月 21 日宣布关停应用并删除用户数据。该交易未披露具体人员及 Apple 后续计划。
Standard Bots 用共享基础模型加客户演示微调的方式驱动机器人,最大模型仅低数十亿参数,靠超十亿张图像训练的零样本感知系统完成零件定位,运动与单元逻辑仍用传统编程。模型在云端训练、边缘 GPU 本地推理,以 action chunks 流式输出到低层控制,避免依赖工厂网络。
越来越多 AI 智能体无需下载 App,直接通过 iMessage、RCS、SMS 或 WhatsApp 等短信渠道接收任务并代为执行。
西门子将在第26届中国国际工业博览会上首次完整展示人形机器人全流程端到端解决方案,覆盖研发设计、生产制造、总装集成与工业现场应用,并发布20余款新品、开放6类具身智能“进厂”场景。全新升级的“钻耀之心3.0”将深度融合Intelligence Center X与Teamcenter等工业软件,贯通工业五层架构。
荣耀发布Magic9 Pro Max、Magic9、Magic9超能版三款旗舰,全系搭载MagicOS 11与397B智能体大模型,Agent Harness框架首次商用落地。Magic9 Pro Max配备阿莱双2亿影像系统、2nm第六代骁龙8超级至尊版芯片与8800mAh电池,售价6499元起;Magic9超能版内置11000mAh电池并配主动散热,4499元起。
TypeSafe AI 宣布完成 8.7 亿美元 A 轮融资,投后估值 75 亿美元,距其 9 月 15 日 4000 万美元种子轮融资仅 24 天。其决策模型 Jev 砍掉生成功能只做判断,输出 token 永久免费、输入每百万 Token 0.042 美元,a16z 披露其上线 3 天处理量达 1 万亿 Token,约三分之一《财富》500 强企业已使用或接入。
推荐理由:Jev 母公司 24 天内估值从 2 亿美元升至 75 亿美元,可看到决策模型这条新赛道如何被资本与巨头同时押注。
Google 发布新一代生图模型 Nano Banana 2.1,围绕视觉设计、蒙版编辑、主体一致性和画面真实自然性升级,支持 4K 直出。据 Arena 评测,其在文本转图像、多图像编辑及单张图像编辑三项上平均提升约 61.7 分,1K、2K 图片生成价格减半,4K 降价约 25%。
推荐理由:汇总了 Nano Banana 2.1 的 4K 直出、中文渲染与 API 降价信息,并附网友实测对比与连续编辑的水印 Bug。
特斯拉在德国、西班牙、荷兰、斯洛伐克等多个欧洲国家官网,将Full Self-Driving(Supervised)更名为Tesla Assisted Driving,美国官网仍保留原名。德国联邦交通部认为FSD名称具有误导性,特斯拉主动提出改名,并获德国政府公开支持其欧洲准入。欧盟统一审批投票已从10月推迟至至少今年12月,特斯拉需争取至少55%成员国支持且合计人口占欧盟65%以上。
TypeSafe 宣布 Series AI 融资,Sequoia 透露其上线首周 ARR 突破 1 亿美元,公司估值达 75 亿美元,此时距 Jev 发布仅三周。