跳到正文
AI NEWS JOURNAL
AI, IN PERSPECTIVE

搜索 AI 资讯

检索标题、摘要与正文,把分散的信息连起来。

按发布时间排序

OpenAI宣称其最新AI模型显著提升老旧系统代码迁移能力,聚焦COBOL等遗产代码现代化

据The Verge 2026年10月26日报道,OpenAI当日宣布其最新AI模型在将COBOL等老旧编程语言编写的遗留软件迁移到现代代码方面取得“实质性改进”,称该能力有助于组织维护和现代化陈旧系统。

Can AI help solve the COBOL code crisis?

推荐理由:该报道为时效性明确的技术新闻,来源为可信科技媒体The Verge,发布时间(2026-10-26T13:15:00Z)不晚于当前时间,内容聚焦OpenAI公开声明的具体能力进展,未含未经验证的成效数据或第三方实证,符合事实提取边界。

事件进展与其他报道

Kimi发布K3.1 Pro:终端任务能力跃居榜首,仿真调试与多模态编程展现具身智能雏形

Kimi于2026年10月25日发布K3.1 Pro模型,在Terminal-Bench 4.0终端任务测试中以67.2%成功率位列第一;其自主修复仿真器错误、完成物理模拟、音频分析、3D场景构建及视频剪辑等多任务能力,指向具身智能技术路径探索。

根据报道中的虚拟人行走训练和模拟器调试制作的编辑示意,非软件实拍截图

推荐理由:材料基于钛媒体授权发布的实测报告,涵盖权威第三方评测数据(Artificial Analysis、Terminal-Bench 4.0等)、官方自测结果及作者多场景功能验证,聚焦K3.1 Pro在执行能力、仿真闭环、多模态编程上的实质性进步,同时明确标注性能局限与未公开信息(如Flash/Ultra尚未发布),符合事实核查与信源标注要求。

事件进展与其他报道

拉上英伟达硬刚苹果,微软的高端AI PC赌局

微软以采用NVIDIA RTX Spark的Surface Laptop Ultra争取本地AI开发者与高端创作者。硬件把大容量统一内存、CUDA和RTX图形能力带入便携设备,但能否形成对Mac的持续竞争,仍取决于应用适配、智能体体验和真实工作流。

推荐理由:这场竞争最终要回答的,是本地AI能否切实改善创作和开发效率,以及用户为此承担的设备、软件与迁移成本是否值得。硬件提供了新的可能性,生态和实际体验决定这种可能性能够覆盖多少用户。

事件进展与其他报道

英伟达CEO演示Microduck机器人引爆预售,订单超2万台

在GTC柏林大会上,英伟达CEO黄仁勋演示了由Pollen Robotics开发、现属Hugging Face(已被英伟达收购)的Microduck机器人。该开源机器人可通过语音指令完成行走、坐立、假寐及后空翻等动作。视频走红后,次日预售量突破2万台,有望成为圣诞季热门玩具。这些机器人基于英伟达技术栈训练,支持用户自定义训练并分享新技能。

推荐理由:资讯基于提供的TechCrunch文章及事实列表生成。材料指出Microduck由Pollen Robotics生产,该公司于2025年被Hugging Face收购,而英伟达于同年9月收购了Hugging Face。文中提到的预售数据、功能描述及交付时间均直接引自材料,未添加外部信息。

事件进展与其他报道

Claude Mods:注意力接口的首次实践,人类可编程的代理交互层

Claude Mods 是 Anthropic 推出的 Claude Code 可编程插件系统,代表‘注意力接口’(Attention Interface)的早期形态——它将传统面向机器的代理运行时框架(agent harness),转向面向人类注意力的可定制交互层。用户可通过 TypeScript/JS 编写 Mods,或用自然语言让 Claude 自动生成,从而决定何时被中断、看到什么内容、需做哪些决策。

事件进展与其他报道

Claude Mods:可编程的注意力接口,重塑人与AI代理的协作范式

Claude Mods 是 Anthropic 推出的面向开发者的可编程插件系统,标志着‘代理运行时’(agent harness)从机器侧接口转向人类侧接口——即‘注意力接口’(Attention Interface)。它允许用户通过 TypeScript/JavaScript 自定义 Claude Code 的行为、渲染与交互逻辑,实现人与 AI 共同设计工作流。该机制已用于内置功能(如 You Should Know),并支持用户自主构建或由 Claude 辅助生成插件。

事件进展与其他报道

微软发布Magnetar:支持Rust/Go/C的通用零知识虚拟机,基于标准哈希函数实现量子安全证明

微软研究院推出零知识虚拟机Magnetar,首次在单一系统中同步解决零知识证明长期存在的三大瓶颈:生成效率低、开发门槛高、后量子安全性不足。它支持Rust/Go/C等主流语言编写的程序直接编译运行并自动生成可验证证明,平均比现有最快zkVM快10–39倍,证明验证仅需约12毫秒,且安全基础仅为SHA-256/SHA-3等经NIST标准化、已受数十年密码学检验的标准哈希函数,无需可信设置、椭圆曲线或未经充分验证的新颖数学假设。

事件进展与其他报道