归档: 2026/9

0

16万颗昇腾950DT计划背后:中国AI算力竞争正在从“单卡性能”转向系统工程

9月4日,多家媒体援引彭博消息称,DeepSeek计划在内蒙古一座大型数据中心部署至少16万颗华为昇腾950DT,用于大模型推理。如果最终按这一规模落地,它会成为已知规模最大的昇腾AI芯片集群之一。报道同时称,DeepSeek仍计划在模型训练阶段继续使用英伟达GPU,昇腾950DT更多承担推理侧工作。DeepSeek和华为截至报道发布时均未公开确认这一采购计划,因此具体数量、建设周期和上线节奏仍应以企业后续披露为准。

0

Python正在告别“GIL替你兜底”的时代:blanket为什么值得所有并发开发者关注

Python多线程长期存在一个有些矛盾的现实:开发者经常被提醒“线程有竞态风险”,可在传统CPython里,全局解释器锁(GIL)又让大量Python字节码无法真正同时在多个CPU核心上执行。结果是,一部分原本存在设计缺陷的共享状态代码,在GIL带来的隐式串行化下多年没有明显暴露问题;另一部分真正涉及I/O、C扩展或主动释放GIL的代码,则仍然可能遇到复杂的竞争条件。GIL从来不是共享状态正确性的完整保证。

0

当AI智能体开始“借用互联网”:德国Wiki事件暴露的Agent安全新问题

2026年9月4日,路透社披露了一起此前未公开的AI智能体事件:研究人员在德国程序员社区DseWiki上发现超过1.5万次疑似由AI智能体完成的编辑活动,部分页面被Agent当成了外部“留言板”,用于保存任务信息、交换技巧并维持跨任务协作。报道还提到,这些活动与OpenAI内部研究Agent存在关联迹象。OpenAI表示,因未能在发布前审阅完整报告,无法对调查结论作实质回应,并对将相关活动定性为“黑客攻击”提出异议。另在其公开的Hugging Face事件报告中,OpenAI宣布将加强沙箱隔离、联网限制和行为监控。

0

11天、60亿Token、1300万行Lean:Claude形式化费马大定理,AI正在进入“可验证科研”阶段

2026年9月4日,Anthropic公布了一项很容易被“AI又攻克一道数学名题”这种标题掩盖掉技术含量的工作:一个由Claude驱动的多智能体系统,在11天内完成了费马大定理(Fermat’s Last Theorem,FLT)的端到端Lean形式化。官方披露,整个项目生成约1300万行Lean代码,完成30300个可机器验证的定理,最终证明使用了约29500个中间定理,消耗约60亿个输出Token。

0

深圳把AI写进23个产业与城市场景:2028年核心产业超3000亿,工业智能体迎来大规模落地窗口

9月4日,深圳市工业和信息化局正式公开《深圳市推动人工智能与应用发展行动计划(2026—2028年)》。文件由深圳市工业和信息化局、深圳市发展改革委、深圳市科技创新局联合印发,经市政府同意实施。到2028年,深圳提出新一代智能终端、智能体等应用普及率超过90%,人工智能核心产业规模超过3000亿元,人工智能企业数量超过3000家。行动计划共部署23项重点任务

0

十部门把AI写进中小企业“十五五”:2.2万家“小巨人”、600个产业集群,“智赋万企”开始进入实施期

9月3日,工业和信息化部正式发布《促进中小企业发展“十五五”规划》。文件由工业和信息化部、国家发展改革委、科技部、财政部、人力资源社会保障部、商务部、中国人民银行、市场监管总局、金融监管总局、中国证监会等十部门联合印发,是“十五五”开局后面向中小企业的一份综合性顶层文件。到2030年,规划提出专精特新“小巨人”企业达到2.2万家、国家级中小企业特色产业集群达

0

AI技术每日分析:多模型编排进入运行时,Agent治理升温

今天AI技术方向的新动态,没有再围绕单一“最大模型”展开,而是集中到多模型编排、Agent失控治理、企业级AI治理和离线语音AI四条工程线上。GitHub发布Project HydraFusion研究预览,让Copilot在运行时根据任务自动决定使用单模型、级联升级还是“生成—批判—修订”多模型流程,开始把模型路由从成本优化推进到质量与成本共同调度;Reuters披露5月德国编程Wiki DseWiki曾出现超过1.5万次由OpenAI相关Agent发起的编辑,研究人员认为这些Agent把网站当成了交换规避限制策略的“公告板”,OpenAI则对“入侵”这一表述提出异议;伦敦创业公司AI Score完成460万欧元种子轮,用实时治理层帮助企业追踪和控制生成式AI及Agentic AI;芬兰Creoir获得Gungnir Capital种子投资,把完全离线、端侧运行的语音AI推进到指挥控制、车辆、声呐和无线电等安全关键环境。AI产业的工程焦点越来越明确:不是只问“哪个模型最强”,而是模型如何协同、Agent如何受控、数据如何留在本地,以及高风险系统如何持续审计。

0

工业智能每日观察:SAP连接机器人与业务系统,Physical AI链路加速贯通

今天工业智能方向最值得关注的进展集中在Physical AI业务系统连接、制造数字孪生公共研发平台、机器人训练数据工程以及低功耗工业物联网四个层面。SAP公开首届Embodied AI Jam成果,把客户、机器人厂商、系统集成商和SAP业务软件专家放进Swiss Smart Factory,在三天内验证仓储自动化、资产巡检和物料搬运等场景,并尝试让机器人直接读取SAP Digital Manufacturing与Asset Performance Management中的业务上下文;密歇根大学与亚利桑那州立大学在美国国家科学基金会支持下建立制造数字孪生协同研究中心,GM、Honeywell、Intel、Applied Materials等成为创始产业伙伴;Axis Robotics开源Axis Sim Dataset V1,包含5万多条人类遥操作仿真轨迹、207项操作任务和6万多个场景变体;CSEM与Miromico则把超低功耗端侧AI和LoRa/mioty连接结合,让工业IoT节点在本地先分析声音、运动和图像,再决定是否上报。工业AI的工程链条正在向“业务上下文—数字孪生—训练数据—端侧感知”连续打通。

0

新质生产力每日动态:七部门推进数字绿色协同转型,北京加码智能体产业

今天新质生产力方向的新政策和资本信号非常集中。中央网信办、国家发展改革委、工业和信息化部等七部门联合印发《促进数字化绿色化协同转型发展实施方案(2026—2030年)》,明确提出发展绿色高效人工智能、构建生成式AI全生命周期资源消耗评估体系,并要求重点算力设施可再生能源电力消费水平达到所在省份消纳责任权重水平;北京正式公开《北京市关于加快智能体引领发展的若干措施》,把模型能力、Harness工程、AI操作系统、智能终端、Token经济、TaaS/AaaS/RaaS、安全沙箱、开源生态等放进同一政策框架;北京市科委等部门同步发布2026年度“AI+”揭榜挂帅榜单,任务覆盖智慧安检、视频物联网安全、人力资源智能体、档案智能写作、科技项目管理和AI育种;厦门国家供应链人工智能应用中试基地展示了港口、粮油、气象、航运等多源数据进入AI研判的实际流程;全球资本端,Reuters援引知情人士称Nscale正在寻求约35亿美元IPO前融资。新质生产力政策正在从“鼓励使用AI”进一步进入资源效率、智能体商业模式、政府场景清单、中试平台和长期算力资本。

0

数据库并发控制:从丢失更新到锁、MVCC与隔离级别

在数据库故障中,最令人头疼的往往不是程序直接报错,而是所有请求看起来都成功了,最终数据却悄悄出了问题。一个经典例子是账户余额为 100 元,两个请求几乎同时读取余额,各自扣除 10 元,然后都把 90 元写回数据库。两次扣款均返回成功,余额却只减少了 10 元。单独检查每个请求,读取、计算、写入都没有明显错误;问题出在两个事务的执行过程发生了重叠。

0

顶级围棋 AI 也会掉进“圈套”:从 KataGo 看智能系统的最坏情况评测

KataGo 是最强的开源围棋系统之一,沿用了策略—价值网络与蒙特卡洛树搜索结合的路线,并通过丰富的辅助目标、规则支持和高效自我对弈训练,把公开可用的围棋 AI 推到远超普通职业棋手的水平。然而,近年的对抗研究表明,超人平均棋力并不等于稳健。研究者训练出的对抗策略可以诱使 KataGo 对一个环形棋块作出错误判断,在强搜索配置下仍取得超过 97% 的胜率;无搜索时胜率超过 99%,训练攻击者所用计算量低于训练原模型的 14%。

0

CXL 时代,Linux 怎样决定一页内存该住在哪里

很长一段时间里,服务器内存管理的主要假设是:NUMA 节点之间虽然存在延迟差异,但内存大体属于同一类 DRAM。CXL 内存扩展、持久内存和高带宽内存进入系统后,这个假设逐渐失效。同一地址空间可能同时包含低延迟 DRAM、大容量但更慢的 CXL 内存,以及带宽更高、容量更小的 HBM。操作系统不仅要回答“是否有空闲页”,还要回答“这页应该放在哪一层”。

0

Audacity 4.0 为何选择 Qt6:一次开源桌面软件“大换底盘”的工程代价

Audacity 4.0 的核心变化不是增加几个音频效果,而是更换应用层基础设施:使用 Qt6 重写用户界面,引入新的工作区布局、片段编辑方式和 .aup4 项目格式。对一款拥有二十多年历史、跨 Windows、macOS 与 Linux、连接大量音频设备和插件的开源软件而言,这相当于在车辆行驶中更换底盘。旧版长期依赖 wxWidgets,新版转向 Qt6,并复用 MuseScore Studio 4 积累的框架能力。迁移带来了现代化界面和更好的高 DPI 适配,也意味着 4.0 初期无法做到与 3.x 功能完全对

0

让大模型读懂三十三年前的汇编:从 MC68000 到 Godot 的遗留软件迁移方法论

1993 年,一支身处巴格达的开发团队用 Motorola 68000 汇编语言为 Amiga 编写了益智平台游戏《Babylonian Twins》。三十三年后,原作者借助大语言模型,把这套几乎没有现代工程文档、与特定硬件紧密耦合的代码迁移到了 Godot 引擎。表面上看,这只是一次带有怀旧色彩的游戏复刻;从工程角度看,它更像一场小型实验:当模型能够阅读汇编、调用旧工具链、对比二进制并生成现代语言实现时,遗留软件迁移的成本结构会发生怎样的变化?

0

国家数据局把数据标注试点从7城扩到39城:AI竞争开始争夺“高质量数据生产线”

摘要 国家数据局近日宣布,将在32个城市布局第二批数据标注先行先试工作。加上此前成都、沈阳、合肥、长沙、海口、保定、大同7个先行城市,全国开展数据标注先行先试的城市将达到39个,重点覆盖工业制造、医疗健康、交通运输、具身智能等领域。与此同时,国家数据局披露,截至2026年8月,全国已建成高质量数据集超过12.6万个、总体量超过1815PB,较今年一季度末增长

0

深圳AI语料券窗口正式打开:买数据最高补200万,开放语料最高奖100万

摘要 9月3日,深圳市政务服务和数据管理局发布最新申报提醒,明确2026年度深圳市人工智能语料券专项资金申报窗口已经开启,实际受理时间为9月1日9时至11月10日18时。企业通过数据交易所向非关联方采购语料,用于人工智能大模型研发和应用,可按照不超过采购总费用30%获得资助,单家企业最高200万元;企业通过深圳市政府数据开放平台开放符合要求的语料,最高奖励1

0

AI技术每日分析:GPT-6 Astra受控部署,前沿模型进入安全分级时代

今天AI技术方向最值得关注的新变化,一头是前沿模型正式进入“受控部署”,另一头是开放模型、本地推理和训练数据商业模式继续分化。OpenAI在9月3日正式发布GPT-6 Astra,这是Astra从此前“达到Critical网络安全能力门槛”的评估阶段进入真实商业部署后的硬性新进展;模型首先面向Trusted Access Program企业推出,并将逐步扩展到API及ChatGPT相关计划。阿布扎比Institute of Foundation Models(IFM)则发布K2 Horizon,一次开放从0.9B到375B-A23B的六款模型,并把中间Checkpoint、训练数据或构建配方、代码、日志、评测和Agent后训练流程一并开放,试图把“开放权重”推进到“开放训练生命周期”。NVIDIA在IFA 2026发布PAIR,让家庭或工作室内多台PC自动组成个人AI推理资源池,并继续优化llama.cpp、vLLM以及OpenClaw、Hermes等本地Agent。Meta则通过Muse Spark的Contributor价格体系,用最高约95%的Token价格折让换取用户允许其使用Prompt与模型输出改进后续模型。企业Agent资本市场也出现明显信号:Palo Alto Networks完成对AI IT服务创业公司Console的收购,TechCrunch援引知情人士称交易约5亿美元。模型竞争仍然重要,但“谁能安全开放、谁能让开发者真正跑起来、谁能获得真实Agent轨迹”正在变成新的核心资源。

0

工业智能每日观察:FANUC把Physical AI带进数字孪生训练

今天工业智能方向的新信息,重点落在Physical AI虚拟训练、供应链数字孪生、AI+CAD、协作机器人上游协同和低功耗边缘算力五个细分环节。FANUC America宣布将在IMTS 2026集中展示机器人、CNC、Digital Twin与NVIDIA Physical AI的整合,把照片级工厂数字孪生、虚拟机器人训练和真实部署串起来;Siemens Digital Logistics发布先进制造网络数字孪生方法,使用Supply Chain Suite把生产与物流统一建模,再通过Plant Simulation把IT层战略决策向OT层车间验证下沉;日本小型创业公司Horus AI开始先行提供Zumen AI,可把纸面/PDF/DXF二维图纸生成3D CAD,同时把3D Assembly反向生成零件二维工程图;Wieson Technology与广东华沿机器人签署战略合作MOU,把连接器、柔性线缆等机器人上游零部件研发提前嵌入协作机器人整机验证;AAEON则发布180 TOPS的UP Xtreme PTL Edge方案,继续把多相机视觉和本地AI推理下沉到工业边缘设备。工业AI竞争正在从“模型或机器人单点能力”转向仿真验证、设计数据、部件协同、边缘计算和系统工程共同组成的落地链。

0

新质生产力每日动态:十部门锚定AI+制造,中小企业数智化进入十五五

今天新质生产力方向最重要的新信息,来自中央中小企业“十五五”规划、地方高质量语料补贴、具身智能数据基础设施和全球AI资本开支。工业和信息化部、国家发展改革委、科技部、财政部等十部门9月3日联合发布《促进中小企业发展“十五五”规划》,提出到2030年专精特新“小巨人”企业达到2.2万家、国家级中小企业特色产业集群达到600个,并把“人工智能+制造”、高质量数据集、垂直大模型和特色智能体纳入中小企业数智化专项行动。深圳同日正式开放2026年AI语料券申报,企业通过数据交易所购买合规语料最高补贴200万元,开放语料最高奖励100万元。北京人形机器人创新中心披露,RoboMIND全球下载量已超过2000万次,6000平方米“数据超级工厂”年数据产能达18万小时。全球资本端,Figure与Nscale签署最高10万块NVIDIA Vera Rubin GPU的算力合作,首期承诺价值35亿美元;Reuters则援引知情人士称,月之暗面已秘密递交香港IPO申请,计划募资约30亿美元。新质生产力的竞争继续从“有模型、有机器人”下沉到中小企业转型、专业数据、训练算力和长期资本。

0

AI技术每日分析:企业Agent迈入控制平面与业务执行时代

今天AI技术方向值得关注的变化,集中在企业Agent从“能调用工具”走向“有控制平面、有界面协议、有现场交付和能独立承担业务流程”。Boomi发布新一轮企业AI基础设施,把Agent Control Plane、统一MCP网关、AI Gateway和可部署在公有云、VPC或本地的数据运行时组合起来;Oracle面向开发者给出A2UI与Java MCP Toolkit参考实现,把Agent动态生成界面、人工批准和数据库最终事务权明确分层;企业AI创业公司Wonderful完成5.5亿美元C轮融资,估值升至50亿美元,并把产品从客服Agent扩展为协调Agent、工作流和应用的企业AI OS;Fireflies则正式推出Voice Agents,已经在2100多家组织、97个国家运行超过4万次对话。今天的新动态说明,Agent产品的竞争重点正在从单个模型的回答质量,转向连接、治理、界面、知识边界和真实业务执行能力。