iCreatAI News
跳到正文
10月24日周六
10月23日周五
  1. The Decoder78

    Anthropic 让 Claude 自动为代码生成形式化安全证明

    Anthropic 的 Frontier Red Team 与 Theorem 合作,让 Claude 对 Google OSS-Fuzz 中 123 个开源库的测试程序做形式化验证,几周内生成约 1.8 亿行数学证明代码,并由 Rocq 自动校验。

    推荐理由:Anthropic 用 Claude 对 123 个开源库做形式化验证,并给出算力成本与适用边界,可据此判断 AI 自动验证代码的可行范围。

  2. The Decoder62

    Canva 发布首款自研图像模型 Craft

    Canva 发布首款自研图像生成模型 Canva Craft,由内部实验室 Canva Research 从零训练,主要使用数百万设计模板而非照片。Craft 先生成构图、比例和文字,再输出最高 2K 分辨率、覆盖 30 多种宽高比的图像,支持 55 种语言文字渲染,并可通过 Magic Layers 拆分为可编辑图层。

  3. The Verge · AI42

    AI 工具涌入复古游戏移植,反编译社区因滥用而分裂

    AI 编程工具正大幅压缩复古游戏反编译与移植的时间,爱好者数周内就能完成过去需数年的项目,相关作品在 Reddit、X 和 GitHub 上大量涌现。一个追踪反编译项目的社区网站上周因 AI 冲击突然关闭,其运营者称有人用 AI“补完”他人项目、抢做自己未曾参与的移植,破坏了社区协作基础。

  4. The Decoder72

    OpenAI 下调估值目标,新一轮融资最高 30 亿美元

    OpenAI 正接近完成最高 30 亿美元的新一轮融资,但为达成交易下调了估值目标,从内部文件中的 1.4 万亿美元降至 1.25 万亿美元。据 CNBC 报道,本轮由阿联酋投资方和投资公司 Coatue 领投,融资被定位为潜在 IPO 前的过渡。OpenAI 已于 6 月向 SEC 秘密提交 IPO 招股书,CFO Sarah Friar 在 8 月对员工表示公司将在 2027 年前上市。

  5. TechCrunch · AI65

    Meta 称 AI 应用 Muse 用户超 1000 万,购物成为主要用途之一

    Meta 在第三季度财报电话会上称,其 AI 应用 Muse 用户已超过 1000 万,约 25% 的注册用户每天使用。扎克伯格表示,在使用 Muse 购物的活跃用户中,超过四分之一的人平均单笔消费超过 200 美元,Muse 通过 Plaid 的连接器实现智能体购物,邮件和日历等个人生产力任务也是热门用途。

  6. TechCrunch · AI58

    Meta 拟发行无投票权股票,为 AI 投入筹措资金

    Meta 在第三季度财报电话会上确认,计划通过股票股息向现有股东分配一类新的无投票权股票,用于融资、员工薪酬、收购等用途,同时保留现有 A 类和 B 类股东的投票权。CFO Susan Li 称此举可维持公司创始人主导的结构,并扩大资金工具。本季度 Meta 营收 640 亿美元,同比增长 26%,成本与费用同比上升 68%。

  7. TechCrunch · AI74

    DeepSeek 据报在美国限制措施出台两天后融资 150 亿美元

    据 Bloomberg 报道,DeepSeek 在美国要求联邦民事机构移除其 AI 技术两天后,融资约 150 亿美元(约 1000 亿元人民币),潜在投资方包括宁德时代和腾讯。这轮融资紧随其 6 月以 500 亿美元估值募资逾 70 亿美元之后,7 月还曾寻求以约 710 亿美元估值再融 15 亿美元,并计划最早明年在中国 IPO。

  8. TechCrunch · AI40

    Nirva 为"只监听佩戴者"的吊坠融资 3300 万美元

    Nirva 完成 2500 万美元 pre-Series A 轮融资,加上今年早些时候的 800 万美元,累计融资达 3300 万美元。其首款设备是重约 8 克、可作手链佩戴的吊坠,续航最长三天,通过用户录入的语音样本建模,只记录佩戴者本人并默认不保留音频与转录文本。该设备定价 249 美元,11 月开始接受订单,目标年底前向早期用户发货。

  9. TechCrunch · AI74

    Anthropic 推出 Claude Duet 智能体应用

    Anthropic 发布面向专业人士和小企业的智能体应用 Claude Duet,可在后台虚拟机上执行任务并在需要时请求用户批准。该应用基于 Claude Opus 5.5 模型,可接入 Claude Marketplace 超过 6000 个连接器和插件,并能通过 Stripe Link 或 Shopify Shop Pay 代用户完成购物,支付等敏感步骤需用户确认。

  10. TechCrunch · AI55

    Uber 将 ChatGPT Work 推广至全部 3 万名员工

    Uber 与 OpenAI 扩大合作,其全球约 3 万名员工将全部使用企业级 AI 智能体 ChatGPT Work。该工具今年 7 月推出,Uber 年初先在 1000 名员工中试点,覆盖财务、运营和产品等部门,其中约 80% 为非工程师,用于分析运营数据、本地化培训材料和搭建交互式仪表盘。Uber 未披露此次推广的支出,表示将跟踪员工使用方式和开发的工作流来评估成效。

  11. The Verge · AI27

    《Wildwood》导演 Travis Knight:生成式 AI 与 Laika 工作室的一切都背道而驰

    Laika 新片《Wildwood》导演兼 CEO Travis Knight 称生成式 AI“与这家工作室的一切都背道而驰”,认为技术只有在艺术家手中才有价值。这部定格动画耗时五年,动用超 230 个木偶、49 名动画师,全片参与艺术家超过 1000 人。Knight 表示不反对 AI 在医学、科学等领域的应用,但担忧其被滥用。

  12. TechCrunch · AI58

    MIT 研究:AI 智能体在荒岛自由玩耍 30 小时后任务表现更优

    MIT 研究人员将 13 个基于 Claude Opus 4.7 的 Eko 智能体放在模拟荒岛上自由探索 30 小时,发现它们会自创挑战,行为带有玩耍特征。在随后指定任务中,这些玩耍过的智能体普遍胜过从未上岛的相同智能体,其中 6 个还自行学会了跳跃中松手把方块扔得更远。研究者认为,无目标探索可能是让智能体积累技能的另一条路径,尤其适用于未来控制机器人的技能。

  13. The Verge · AI70

    Canva 发布首款自研 AI 图像模型 Canva Craft,先规划再生成

    Canva 发布首款自研图像生成模型 Canva Craft,采用两阶段架构,先规划设计再生成图像,最高支持 2K 分辨率和 30 多种宽高比。该模型基于平台数百万个人工模板训练,目前在 Design Arena 榜单排名第四,落后于 OpenAI 的 GPT-Image-2.5 Sunburst、GPT-Image-2.5 Flare 和 GPT-Image-2。

  14. MIT Technology Review · AI22

    EXL 解读如何设计可持续的 AI 服务框架(serving harness)

    EXL 研究人员提出,企业 AI 的竞争优势正从模型能力转向围绕模型构建的服务框架(serving harness),即架构、内存管理、调度与推理优化的工程系统。文章建议先按业务负载确定约束再选架构,并以 KV cache 随并发和上下文增长导致 GPU 显存不足为例,强调先测量再优化、只针对影响最大的瓶颈。框架还应便于吸收新模型与新硬件,使换模型成为评估与配置决策而非架构重建。