跳到正文
AI NEWS JOURNAL
AI, IN PERSPECTIVE

搜索 AI 资讯

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

按发布时间排序

OpenAI 推出 GPT-6.1 Terra,将用于代理工作的 GPT-6.1 Sol 的 API 价格下调一半

OpenAI发布了GPT-6.1 Terra,这是一种快速的计算机与视觉模型,每百万个标记的价格为1美元/5美元。其在每项任务上的成本为0.29美元,而GPT-6 Astra的中等努力代理的最后一次测试得分则为4.82美元。该文章《OpenAI推出GPT-6.1 Terra,将GPT-6.1 Sol的代理工作API价格减半》首发于MarkTechPost。

新闻源配图 · MarkTechPost
事件进展与其他报道

OpenAI 推出 GPT-6.1 Terra,以半价实现更快速、性能更优的 AI 智能体

OpenAI 集团 PBC 今日发布了 GPT-6.1 Terra,这是其前沿人工智能系统系列中的一款中端模型的升级版。这款新模型是 GPT-5.6 Terra 的继任者,成本降低了约 50%,同时在处理计算机使用任务时速度更快、精度更高。Terra 被定位为 OpenAI 产品线中的日常应用模型,旨在[…] 该文章《OpenAI 推出 GPT-6.1 Terra,以半价实现更快速、性能更优的 AI 智能体》首发于 SiliconANGLE。

事件进展与其他报道

苹果回应 iPhone 折叠屏问题:可申请换机;传腾讯绿泡泡短剧月活过亿;;Anthropic或下月上市|极客早知道

Anthropic 公开递交纳斯达克 IPO 申请:目标 11 月 16 日当周上市 Anthropic 正式踏上上市之路。这家成立仅五年、身处生成式 AI 浪潮核心的企业,本次 IPO 有望创下历史纪录。 Anthropic 在提交给美国证券交易委员会(SEC)的文件中披露,计划登陆纳斯达克交易所,股票代码定为「ANT」,目标在 11 月 16 日当周进行 IPO。该公司将设立 T 类特殊股票,供 T 类董事持有。 在招股书中,该公司披露,上半年营收 162.9 亿美元,上年同期为 11.6 亿美元;净亏损 807.5 亿美元,上年同期为 129.7 亿美元;营业亏损 6.93 亿美元,上年同期为 21.4 亿美元。 截至 9 月 30 日的九个月内,该公司没有任何单一客户占公司营收的 10%以上。79%的收入来自前五大客户以外的客户。合作方面,根据与 SpaceX AI 的协议,该公司同意在截至 2029 年的期限内累计支出高达 1205 亿美元。 该公司透露,资本支出将大幅增加,可能需要比目前预期更早地寻求额外融资;在可预见的未来不会支付任何股息,且目前未就重大收购达成任何协议;可能发行总额最高达 420 亿美元的可转换本票。 截至 9 月 30 日的九个月内,该公司没有任何单一客户占公司营收的 10%以上。79%的收入来自前五大客户以外的客户。合作方面,根据与 SpaceX AI 的协议,该公司同意在截至 2029 年的期限内累计支出高达 1205 亿美元。(来源:新浪科技) 苹果回应 iPhone Duo 内屏开裂问题:仅少量设备受影响,可申请换机 iPhone Duo 上市不久,就有部分用户反馈铰链故障,导致内屏出现裂纹。苹果现已在给 MacRumors 的一份声明中回应了相关消息,称受影响的设备数量很少。 苹果没有说明裂痕产生的原因,也没有透露是否会推出修复方

事件进展与其他报道

早报|苹果回应iPhone Duo内屏开裂/Anthropic公开上市申请,冲击史上最大IPO/小鹏Robotaxi获批L4级示范运营

· OpenAI 发布 GPT-6.1 Terra,API 价格减半、电脑操作提速 · 苹果正式推送 iOS 27.2:Apple Music 迎来黑白新设计、iPhone Duo 支持 Apple Pencil · 华为畅享系列累计发货突破 1.6 亿台#欢迎关注爱范儿官方微信公众号:爱范儿(微信号:ifanr),更多精彩内容第一时间为您奉上。

事件进展与其他报道

Nace AI 推出用于搜索 AI 智能体的 Drex:在 BrowseComp-Plus 上的准确率为 92.05%,并进行了 12.6 次搜索调用

Nace AI 发布了 Drex for Search,将其 Drex 决策模型应用于 AI 智能体的文档搜索。Nace 在 BrowseComp-Plus 上取得了 92.05% 的成绩,仅需 12.6 次搜索调用,并且在 OfficeQA Pro 上实现了更少的智能体交互次数。该文章“Nace AI 为 AI 智能体发布 Drex for Search:在 BrowseComp-Plus 上取得 92.05% 成绩,仅需 12.6 次搜索调用”首发于 MarkTechPost。

事件进展与其他报道

PaperFormalizer:在精益框架下实现研究论文的作者参与式自动形式化

arXiv:2610.31810v1 发布类型:新 基本摘要:即使经过仔细校对的论文,其证明或所作假设中也可能存在细微漏洞。我们提出了 PaperFormalizer,一个基于 Lean 的智能体驱动流水线,帮助作者发现并弥补自身论文中的此类漏洞,并将每篇论文转化为经 Lean 验证的版本。PaperFormalizer 从 LaTeX 源文件入手,将其转换为陈述的依赖关系图,逐条审核自然语言表述的忠实性、歧义性和正确性,随后在 Lean 中对这些陈述进行形式化并加以证明,同时参考 Mathlib、可选的领域库以及作者个人的工具包。只有作者最清楚某条陈述的真实意图,以及如何最佳地填补某一结论中的形式化缺口。因此,该流水线会在必要时暂停,并向作者提出相关问题。

PaperFormalizer: Author-in-the-Loop Autoformalization of Research Papers in Lean
事件进展与其他报道

Anthropic推出免费AI漏洞扫描器OSS Scanner,面向关键开源项目

Anthropic于2026年10月8日推出OSS Scanner——一款基于Claude Mythos等强模型的免费、可选加入式AI漏洞扫描工具,专为关键开源项目设计;截至10月19日,已接收114个项目,11天内报告77个严重级和803个高级别漏洞(模型评级),88%的抽样审计结果符合其披露标准。

Anthropic Launches OSS Scanner, a Free AI Vulnerability Scanner

推荐理由:该工具代表LLM在开源安全领域的规模化落地实践,以零成本、全自动、离线审计为特点,但跳过人工审核环节带来误报与重复问题风险;其精度数据(88%有效率、1%假阳性)和真实项目反馈(如wolfSSL、curl)提供了当前AI驱动漏洞发现能力的实证基准。

事件进展与其他报道

Black October:AI驱动的网络安全危机集中爆发与防御响应全景

2026年10月21–22日前后约48小时内,全球密集曝出十余起高危AI加速漏洞与入侵事件,涵盖PHP2Shell、GitLab RCE(CVSS 10)、NGINX/HTTP/3 DoS、LiteLLM密码窃取、eMudhra CA密钥泄露、Quest Diagnostics医疗数据暴露等;Storm-0940等国家行为体利用ARTEX等开源智能渗透框架发起规模化攻击;同期AI安全防御体系加速构建,包括形式化验证、开源修复代理、Agent技能标准化及硬件级优化。

事件进展与其他报道

Switch 2遭利用旧游戏与AI实现越狱,Modder展示《Mario Kart World》自定义角色

据The Verge报道,知名Modder Sammy Hajhamid(网名pepsipu)宣称已成功越狱Nintendo Switch 2,其工具‘ns2jb’借助OpenAI Codex辅助开发,并通过一款旧游戏触发漏洞;演示视频显示《Mario Kart World》运行了含Cinnamoroll、红色愤怒小鸟、Peter Griffin及Minecraft Steve等非官方角色的修改版本。

事件进展与其他报道

Tenex构建AI原生SDLC:基于结果付费、代理驱动开发与企业AI落地的最后一公里

Tenex是一家成立18个月(截至2026年)、75人规模的AI原生软件交付公司,服务约半数《财富》2000强及同等数量中型企业。其核心实践包括:以故事点为锚的动态工程师薪酬体系、AI战略师质量把关机制、Git内嵌上下文的MetaHarness框架,以及聚焦‘非编码高价值任务’的能力再定位;同时观察到企业AI采用仍集中于通用LLM部署与工程侧代理,后端办公类生产级AI代理渗透率仅约5%。

事件进展与其他报道