AI编程三件事:航空标准调教、能力度量、吞吐翻倍
用航空维修标准来管AI怎么说话,听着离谱,但真有人在用。工程师 Tw93 给自己每天用的技能 Waza 加了套新回复规则,来源是 ASD-STE00——一套简化技术英文标准,最早用来写航空维修文档。思路很简单:把模糊表述换成明确的动作和条件...
用航空维修标准来管AI怎么说话,听着离谱,但真有人在用。工程师 Tw93 给自己每天用的技能 Waza 加了套新回复规则,来源是 ASD-STE00——一套简化技术英文标准,最早用来写航空维修文档。思路很简单:把模糊表述换成明确的动作和条件...
芯片设计软件龙头新思科技要跟中国的大语言模型公司合作,把AI版EDA工具本土化,帮本土企业加快芯片研发。美国对AI和半导体的出口管制在收紧,这门生意它还是想做。新思此前已经跟OpenAI签了多年协议,一起做专用AI模型,目标是让芯片设计流程...
Anthropic没开发布会,也没发博客,直接把Claude的界面语言菜单改了。网页版和桌面端现在多了简体中文、繁体中文两个选项,部分账号打开就是中文。Claude早就能聊中文,这次动的是产品界面本身。以前中文用户只能对着英文菜单,或者靠浏...
三篇刚上线的arXiv论文,分别盯着药物发现、儿童健康和血管器械。合起来看是同一件事:AI进医疗,卡点在数据能不能用、结果能不能验、系统能不能落地,模型多大不是关键。 第一篇做的是"本地可部署的智能体联合科学家"。早期计算药物发现要在多步骤...
ICANN新一轮顶级域名申请结果出来了:481个申请者,一共交上来1615份申请,AI是最抢手的赛道。Meta和OpenAI同时盯上.agent,.agi、.asi、.superintelligence也被多家巨头争抢。OpenAI一家就递...
DeepSeek在招人,弹性计算团队放出大量HC,尤其缺资深工程师。有趣的是,岗位JD没怎么写常规描述,直接甩了篇技术报告。拿论文当招聘广告,这操作很DeepSeek。 产品线上,DeepSeek Harness的崔添翼把核心理念说得很直白...
视频生成正在从"能出片"转向"能实时"。MiniMax H3 在单张 RTX 5090 上跑出了 1.28 倍实时渲染:一段 30 秒的视频,23.51 秒就生成完了。靠的是显存优化加 ComfyUI 工作流,单卡就能出片,不用堆机器。对做...
三篇最新的arXiv论文说的是同一件事:AI落到具体行业,卡点在数据、物理约束、方言差异这些地方。超导物理、暖通空调、阿拉伯语语音识别,三个场景毫不相干,解法却撞到了一起:少用标注,多用先验,泛化就更稳。 第一篇做全息超导。研究者让标量质量...
日本Preferred Networks昨天发布PLaMo 3 Translate 31B。这款翻译模型完全由日本自主研发,日语翻译能到专业水准,其他语言也兼顾。训练数据里日语占三成左右,底座是PLaMo3。上一代只支持日英双语,这次语言覆...
Hinton发了首篇RSI论文,核心一句话:AI开始真正进入"造下一代AI"的流水线。递归自我改进成了工程问题,一旦跑通,能力迭代的速度会远超人类调参,安全边界也跟着模糊。 安全攻防这头,主角也换了人。Stratechery披露,macOS...
智能体正在从演示视频变成真金白银。Manus母公司拿到超5亿美元新一轮融资,博裕投资、IDG资本联合领投,腾讯、红杉中国等老股东继续跟投,估值大幅攀升。这笔钱会花在技术研发、团队扩张和全球化布局上。资本肯加码,等于给通用AI Agent的技...
AI办公赛道最近密集冒出新动作。三家公司、三种打法,指向同一个方向:让AI从聊天框里走出来,钻进真实工作流。 Atlassian和OpenAI官宣深化合作。OpenAI的前沿模型接进企业知识体系,文档、项目、流程里沉淀的静态知识变成能干活的...
谷歌的“替我通话”要管到你的家人了。外媒拆APK时,翻出一个叫“Gemini Calling”的介绍页,示例场景是让AI打电话给母亲,转告自己会迟到15分钟。以前这类代打电话主要用来应付商家,订餐、预约。现在它伸向亲友沟通,性质完全不同了,...
开源AI初创公司Nous Research确认完成9000万美元B轮融资。本轮由Robot Ventures领投,英伟达、Union Square Ventures、Menlo Ventures、三星和1789 Capital跟投。公司成立...
机器人要在现实里干活,得先在"脑子"里预演一遍。世界模型干的就是这件事:用数据代替传统仿真器,做策略评估、策略改进和规划。预演要靠谱,前提是三维场景还原得足够准。DepthWorld 瞄的就是这里。 DepthWorld 给机器人操作任务搭...
快手旗下的AI视频服务商可灵AI正在筹备赴港IPO。公司已选中金、高盛、瑞银担任承销银行,计划募资至少10亿美元,目标最早2026年上市。相关商讨还在进行,细节可能变动,官方也没公开回应。如果顺利,它会是国产生成式AI视频赛道第一家登陆资本...
OpenAI又放了个大招。10月8日起,GPT-6开始向全球ChatGPT用户全量推送,逐步接替GPT-5.6 Sol与Luna。这回的重点不在模型跑分,而是ChatGPT的聊天框里第一次长出了"界面"。 OpenAI把这项新能力叫"智能U...
谷歌的新手环漏了。Fitbit Edge 的泄露图显示,它带一块小屏幕,续航 7 天,还塞进了 GPS 和高度计。配置比 Air 版高出一截,预计售价 150-200 美元,卡在 Fitbit Air 和 Pixel 手表中间。谷歌想把"一...
数据处理这块又打起来了。Polars 2.0在TPC-H和TPC-DS基准测试里跑赢DuckDB和DataFusion,TPC-DS q72全查询通关。新版本加了原生SQL和数据类型,性能涨了不少。天天跟亿级数据表打交道的人,同样的机器能少...
OpenAI放了个大招。据The Verge报道,其尚未发布的内部前沿模型一口气产出722篇学术手稿,归纳为372个成果族群,宣称解决了多项长期悬而未决的数学难题。数学圈的反应很复杂:一边震撼,一边不安。科研伦理的争论也被点燃——如果模型能...