每日 AI 资讯

PostgreSQL 19原定10月29日发布，现推迟至11月19日，并新增11月12日的RC2候选版本。官方称近期各维护分支修复较多，需先经社区验证。Beta阶段约8至10项重要功能被撤回，远超惯例。核心提交者Peter Eisentraut解释，大模型辅助代码审查和模糊测试是重要变量：被撤回功能多在LLM辅助编程成熟前完成，是更强的AI审查工具重新检查旧代码，把原本可能5年内逐步暴露的边缘缺陷集中扫出。AI提升质量却短期拖慢发布，人类处理缺陷报告的固定成本成为瓶颈。SQL/PGQ等功能最终未进入该版本，部分预计修正后进入PostgreSQL 20。

OpenAI CEO Sam Altman在近期一场45分钟访谈中表示，AI正进入能够帮助人类发现新知识的阶段，未来两年左右有望针对某种重大疾病找到首个有意义的候选治疗方案，他个人最期待物理学领域的突破。但他同时指出，AI并未让人类清闲：程序员因软件需求远超预期而更忙碌、赚得更多，他自己已约一年未看代码，未来可能不再亲自编程。他坦言AI可能夺走人们亲手攻克难题的乐趣，并担忧AI意识讨论被引向削弱人类主导权的方向。他主张AI应服务于人类，未来应追求一场让人拥有更多自由的“文艺复兴”，而非另一场更忙碌的工业革命。

在ICAAS 2026首场圆桌上，诺贝尔化学奖得主迈克尔·莱维特、图灵奖得主杰克·唐加拉、数学家马骁与中关村学院何纪言围绕AI未来十年展开讨论。嘉宾普遍认为，当前产业向大型Transformer架构收敛虽加速了技术进步，但削弱了研究多样性，需警惕单一路线风险。关于AI寒冬，莱维特认为可能源于过度承诺，唐加拉则判断寒冬已过，何纪言更提出智能将像电力一样成为社会基础设施。讨论还涉及AI自我改进、开源生态与可验证奖励等议题，核心共识是：智能的下一片疆域在于让AI在真实世界中持续学习、验证并创造可证明的价值。

随着 AI Agent 从聊天问答转向软件开发、企业自动化等任务执行场景，算力评价逻辑正在发生变化。Arm 云 AI 解决方案架构总监 Ravi Malhotra 指出，Agent 工作负载在模型推理与外部操作间反复切换，CPU 需承担工具调用、任务编排和沙箱隔离等关键任务，若 CPU 处理不及时，昂贵的 GPU 可能闲置。Arm 联合富士通、Meta、OpenAI 等探索新评估方法，将端到端任务执行纳入 CPU 性能评价。Signal65 报告显示，在相同机架功耗预算下，Arm AGI CPU 的平均机架级性能约为对比平台的 1.99 倍，但该结果基于建模而非生产环境实测。行业尚未形成统一的 Agent CPU 跑分标准，评估正从单一性能分数转向特定业务约束下的任务完成效率。

Kimi正式发布新一代旗舰模型K3.1 Pro，此前在大模型竞技场以“Kibitz”代号盲测引发关注。该模型拥有3万亿级参数，支持100万上下文，在代码、Agent和知识类基准上紧追最强闭源模型，Artificial Analysis智能指数升至全球第四、开源第一。同步推出Highspeed高速版，输出速度为普通版2至3倍。K3.1 Pro已在Kimi网页、App、Kimi Code、CLI及API上线，并计划11月4日前开放完整模型权重。在国产模型普遍转向低价快速路线的背景下，Kimi选择继续冲击旗舰性能上限，实测在3D生成、网页设计、长程编码和金融建模等任务中表现突出。

近日，开发者Gathin利用编程助手Claude Code通过Wi-Fi接入小米电视，停用25个系统组件并编写极简桌面，以去除开机广告和杂乱推荐。他将提示词、桌面源码和踩坑记录开源为CleanYourTV项目，短短几天收获约1.37万颗Star。类似项目TV Detox也记录了改造过程，实测电视可用内存从约370MB提升至600-650MB。这一现象背后是智能电视硬件低价、互联网业务高毛利的商业逻辑，而AI降低了普通用户进行系统定制的门槛，引发从电视到相机固件解锁的“Vibe-Hacking”风潮。

10月23日，国内首部获得国家电影局公映许可证的AI超写实院线电影《三星堆：未来往事》正式上映。影片时长100分钟，所有角色均为原创数字形象，由生数科技Vidu提供首席技术支持，博纳影视集团AIGMS团队按电影工业流程完成创意判断。猫眼专业版数据显示，上映首日票房30.15万元，累计综合票房40.1万元；灯塔专业版预测总票房207.8万元。影片制作成本为千万元级别，团队历经两年产出120余万张底图，相比同等体量传统实拍科幻片成本降幅接近90%。观众评价画质和真人感超出预期，但配音仍带AI感。该片被视为AI长片进入院线的一次真实市场检验。

10月24日，月之暗面发布旗舰模型Kimi K3.1 Pro，参数规模达3万亿级，由Kimi K3后训练而来，支持100万token上下文窗口，并计划在11月4日前完成开源。该模型在Artificial Analysis榜单上较K3提升11分，位列总榜第四、国产第一，超过Claude Fable 5.1和GPT-6 Astra，仅次于Claude Opus 5.5、Claude Sonnet 5.5和Muse Wonder。编程、3D创作与金融研究是能力提升重点，官方演示覆盖虚幻引擎游戏场景、FreeCAD航空发动机建模及Blender场景复刻。价格方面，输入13元/百万tokens、输出68元/百万tokens，较K3分别下降35%和32%，按美元刊例价仅为GPT-6 Astra的20%、Claude Opus 5.5的50%。

据新智元报道，Anthropic 的 Claude 在一次形式化验证任务中生成约 1.8 亿行证明代码，并据此发现了一个在万亿次常规测试中未被触发的缺陷。事件的核心变化在于，AI 从辅助编写代码转向参与数学证明与形式化验证，用穷举式证明路径补充传统测试难以覆盖的边界情况。报道将这一结果描述为“万亿次测试漏掉的 Bug 被 AI 一锅端”，但素材未披露具体软件对象、缺陷性质、验证工具链及复现细节。可确认的事实是：证明规模达 1.8 亿行，测试规模为万亿次量级，主体为 Claude。结论是 AI 在形式化验证场景展现出发现深层缺陷的潜力，但其工程可复现性与实际影响仍需更多信息支撑。

据新智元报道，Anthropic旗下Claude的自动模式即将面向全球上线，报道同时提及OpenAI曝出“最恐怖一幕”，但现有素材未给出该事件的具体内容。可确认的信息集中在Claude一侧：自动模式从局部可用走向全球范围，意味着更多用户将接触到减少人工逐步确认的交互方式。报道标题将两家公司并列，暗示AI助手在自主执行与安全边界上的竞争正在升温。由于素材仅包含标题和栏目信息，OpenAI事件细节、Claude自动模式的上线时间表、覆盖地区、功能边界及安全机制均未披露，相关结论尚待确认。读者可重点关注自动模式在权限控制、误操作责任和用户信任方面的实际表现。

近日，一篇题为《刚刚，全球互联网已被AI攻陷！史上最黑暗48小时来了》的文章在中文科技自媒体圈传播，来源标注为新智元，发布时间显示为2026年10月24日。该文以“Apocalypse · ASI 启示录”为素材标签，声称全球互联网正遭遇AI攻击，并渲染“史上最黑暗48小时”。但从可获取的采集素材看，正文内容尚未完整呈现，仅有标题、导语和“正在取这篇稿子”等编辑痕迹，缺乏具体攻击对象、技术路径、影响范围及官方回应等关键事实。因此，目前只能确认该文章存在并引发关注，无法据此认定全球互联网已被AI攻陷。对读者而言，更稳妥的判断是：这是一则尚待核实的AI安全警示性内容，而非已获权威信源确认的全球性事件。

据新智元报道，一款参数规模达320B的国产基础模型公开了技术细节，其训练与评测体系涉及约100万道实战题，并引入针对AI作弊行为的防护机制。报道将“百万道实战题”与“防AI作弊”并列为核心看点，显示该模型在能力验证环节强调贴近真实场景的任务设计，同时关注模型在评测中可能出现的作弊或投机行为。目前素材仅披露标题层面的信息，模型名称、发布机构、具体技术方案、评测结果及防作弊机制如何实现等关键内容均未展开，尚待确认。该事件反映出国产大模型在参数规模之外，正将实战化评测与评测可信度作为技术披露重点。