0
Mojo编译器正式开源：GPU编程为什么正在寻找“Python之外”的新语言层
Modular将Mojo编译器与工具链以Apache 2.0正式开源，解决了这门语言长期以来最敏感的可信与可持续性问题。但Mojo 1.0并不是“更快的Python”终于完成，而是一次路线澄清：保留类Python体验，放弃以100%兼容为前提，成为面向异构计算的独立语言层。
分类: 会员专区
0
AI编码智能体进入材料模拟：会写代码，为什么仍不等于会做科学
NVIDIA用45条材料模拟流水线测试AI编码智能体：它能把自然语言快速变成可运行的GPU脚本，却不会自动检查系综、参考态、物理前提和模型适用域。真正的门槛正从“会不会写代码”转向“能否把科学约束、验证证据与责任链写进工作流”。
0
一枚AirTag追到AI训练设施：训练数据合规进入“来源可追溯”时代
404 Media用一枚AirTag把纸质书采购、转运与扫描链条重新带入公众视野。真正重要的并非一场“追踪奇闻”，而是AI训练数据合规正在从抽象版权争论转向可验证的来源、授权、加工与证据留存。
0
DuckDB 2.0为什么值得企业关注：半结构化数据与“超内存分析”的本地化拐点
DuckDB 2.0预览版把VARIANT、异步I/O、聚合落盘、客户端/服务器模式和新存储格式推到同一条演进线上。它并不等于“本地云数仓”，却可能成为企业处理JSON、Parquet与边缘数据的一次重要本地化拐点。
0
一条Copilot自动修复如何打开Jira：AI写代码正在把CI/CD变成新的高风险入口
Wiz Red Agent披露的一次GitHub Actions攻击演示，把AI补丁、未可信输入、工作流令牌与Jira凭据串成了一条风险链。真正值得警惕的不是“AI又写错了一行代码”，而是AI生成的改动正在更快进入拥有部署权和密钥的CI/CD控制面。
0
Waymo与Tesla真正的路线分歧：不是激光雷达，而是系统能否被检查
Waymo与Tesla的核心分歧并不只是激光雷达与纯视觉，而是自动驾驶系统在感知、世界表示、预测、规划和放行环节中，究竟保留多少可检查、可回放、可验证的中间状态。这个差异决定了企业如何证明系统安全，也决定了监管者能够提出什么问题。
0
Anthropic二季度营收超过115亿美元：大模型竞赛进入收入与利润验证期
Anthropic披露给潜在投资者的初步材料显示，2026年第二季度营收超过115亿美元，并实现正的调整后营业利润。本文核验季度营收、年化收入、利润口径与同比基数，分析企业客户、Claude Code、API、算力成本及IPO估值背后的商业化验证。
0
大模型为什么开始主动“忘记知识”：真正的竞争转向工具链与可信数据
当模型把更多能力预算留给推理，而把事实查询交给搜索、RAG、数据库和工具调用，AI 的竞争重心就会从“谁背得更多”转向“谁能接入更新鲜、更可信、更可审计的数据”。但这仍是一种值得重视的趋势判断，而不是已经被行业证实的统一路线。
0
一个 SVG 思考了21分钟：大模型部署正在进入“推理预算治理”时代
Simon Willison 用本地运行的 Qwen3.8-27B 生成一幅“鹈鹕骑自行车”SVG：默认 xhigh 推理消耗 22276 个 reasoning tokens、等待 21 分钟；关闭推理后约 137 秒完成。这个单次实验不能代表所有模型和任务，却清楚揭示了一个正在进入生产系统的问题：企业不能只管理模型、并发和单价，还要治理每个任务被允许使用多少“思考”。
0
惠州银发经济重大研发最低200万元：养老机器人迎来首单验证窗口
惠州发布支持银发经济发展政策指引，明确引导智能养老机器人和康复辅具研发，对竞争性重大研发项目给予最低200万元资助，对符合条件的示范应用场景首张订单给予最高100万元补助。真正的机会不是造一台陪伴机器人，而是形成安全、服务、运维和支付闭环。
0
中国牵头量子国际标准再获立项：产业竞争开始争夺测量规则
我国牵头的量子熵源随机性质量与测试方法国际标准提案正式获批立项，单光子器件表征提案同步立项，量子经典融合计算等预研课题也取得进展。量子产业竞争正在从论文、样机和参数宣传，转向谁能定义测量方法、接口规范和采购证据。
0
模型越来越会干活，却越来越不好交流：智能体训练如何改变大模型的输出
智能体模型更主动、更擅长工具调用和多步执行，同时可能省略澄清、假设与交接。本文分析执行目标如何影响沟通，并提出执行接口、沟通接口和协作评测的设计方法。
0
长上下文不等于强推理：AI的工作记忆、搜索耐力与数学发现
上下文窗口只说明可接收的序列长度，有效检索、状态管理、搜索预算和验证器共同决定数学智能体能否完成长程推导。本文结合长上下文评测与形式化证明系统拆解这些能力。
0
AI开始批量寻找0-day：软件漏洞治理如何应对机器规模的发现能力
漏洞发现智能体开始把代码理解、静态分析、模糊测试和复现验证串成自动流水线。发现吞吐快速提升后，误报确认、协调披露、补丁回归和下游升级成为新的安全瓶颈。
0
280B参数、每次只激活16B：MoE如何改写本地大模型的成本公式
MoE把模型容量与单Token计算量拆开，也把显存、KV Cache、路由通信和设备利用率带入成本核算。本文结合dots3-note与Qwen3.8-27B分析本地部署的完整账单。
0
AI把GPU内核加速232倍之后：自动性能优化为何容易刷榜成功、上线失效
Codex在固定GPU内核竞赛中完成上千轮自动试验，交出232倍加速成绩。本文拆解QR分解、CUDA/Triton优化、基准过拟合、数值验证和生产泛化之间的工程边界。
0
稔平环岛高速进度超60%：惠东临港与清洁能源项目要重算物流账
稔平环岛高速全线建设进度已超过60%，目标2027年建成通车。对惠东而言，这不仅是文旅通道，更将改变临港产业、清洁能源、工程服务和县域供应链的时间成本。企业现在应按2027年节点重新评估仓储、运维、应急和服务网络，而不是等通车后再布局。
0
1.4万亿元安全应急装备赛道启动：AI和机器人必须先过实战关
工业和信息化部、应急管理部联合印发安全应急装备产业“十五五”规划，提出到2030年重点领域产业规模达到1.4万亿元，并把人工智能、具身智能、机器人、无人机、卫星遥感纳入融合创新方向。真正的产业门槛不是做出能演示的设备，而是在极端环境中形成可验证、可维护、可调度的系统能力。
0
惠州把“人工智能+”纳入重点项目盘子：产业机会从招商数量转向实物工作量
惠州市政府8月12日部署扩大有效投资，将“人工智能+”列入五个重点领域，并要求强化项目谋划储备、要素保障和实物工作量，同时明确产业链招商、场景招商。信号很清楚：惠州AI产业下一阶段要从签约和展示，转向可开工、可采购、可验收、可复制的项目管线。
0
自动驾驶强制国标划定L3/L4底线：车企竞争从功能上车转向安全证据链
《智能网联汽车 自动驾驶系统安全要求》强制性国家标准已发布，将于2027年7月1日实施。标准覆盖L3、L4车辆，把全生命周期安全保障、动态驾驶任务、人机交互和多维检测变成统一底线。车企今后的核心资产不只是功能数量，而是能够经受审查、复现和追责的安全证据链。