DARPA卫星维修机器人发射：开启商业在轨服务新时代
DARPA与SpaceLogistics合作的首个在轨服务机器人任务发射，旨在为地球同步轨道卫星提供维修、升级及延长寿命服务。该系统配备双机械臂和可更换工具，计划通过安装扩展推进舱将卫星寿命延长六年。此举标志着太空服务从政府主导向商业化市场转型的关键一步。
Darpa
DARPA（美国国防高级研究计划局），负责突破性技术研发的美国机构，从互联网到自主系统，其成果深刻塑造了现代世界。
评论
点赞
收藏DARPA 与美国空军成功试飞 AI 控制的 F-16 战斗机
美国空军与 DARPA 联合推进的 VENOM 项目，已将标准 F-16 战斗机改装为自主飞行测试平台。通过新增的 VENOM 自主套件（VAK），飞行员可一键切换 AI 控制，无需修改飞机核心软件。此次试飞验证了将现役战机快速转化为 AI 测试床的能力，为后续 AIR 项目中多机协同及超视距空战的 AI 实战化铺平道路。
DARPA 发起重型垂直起降无人机挑战赛，悬赏 650 万美元突破载荷瓶颈
DARPA 发起 Lift Challenge 竞赛，旨在通过 650 万美元奖金激励学术界和工业界研发新型无人机设计。目标是突破现有旋翼无人机载荷重量比低的瓶颈，实现载荷超过自重四倍的垂直起降能力。决赛将于 2026 年 8 月在美国空军国家博物馆举行，面向公众开放。
DARPA机器人卫星服务技术将于2026年发射
DARPA宣布RSGS项目进入发射准备阶段，计划于2026年夏季将Mission Robotic Vehicle (MRV)送入地球同步轨道。该飞行器结合了海军研究实验室和NASA开发的 Dexterous 机械臂与Northrop Grumman提供的Mission Extension Vehicle (MEV) 航天器平台。主要目标是验证在GEO轨道进行卫星在轨升级、检查、故障排除和重新定位的商业可行性，标志着从一次性卫星向可持续、可升级太空基础设施的转变。这是政府与私营部门合作的重要里程碑。
DARPA启动新项目：混合异构架构是量子计算规模化的关键路径
DARPA启动HARQ项目，旨在推动量子计算从单一量子比特技术向混合异构架构转型。该项目集结19个团队，分软件编译优化和硬件互连两个方向攻关，试图解决单一量子比特技术的局限性，通过整合不同量子比特优势来实现规模化扩展。
DARPA XAI项目：打造可解释的人工智能
这是一篇关于DARPA XAI项目的官方介绍通稿。主要内容包括：1. 背景：机器学习效果虽好但缺乏可解释性，军方需要能理解且信任的智能伙伴。2. 目标：开发既能保持高精度又能提供解释的机器学习技术，并结合人机界面让普通人能看懂。3. 策略：不追求单一最佳方案，而是建立一套方法库，供开发者在性能和可解释性之间做权衡选择。4. 应用：聚焦情报分析（分类）和自主系统决策（强化学习）两个国防场景。5. 进度：原型已在测试，最终将交付软件工具包供军民用。整体为机构宣传性质，缺乏独立观点或深度技术细节。
DARPA发布X-76：兼具喷气机速度与直升机灵活性的新机型
DARPA公布X-76验证机项目，由Bell公司制造。旨在解决军用飞机在速度与起降灵活性之间的取舍，实现无需跑道即可垂直起降且具备喷气式巡航速度（超400节）。项目已完成关键设计评审，进入制造阶段，计划2028年初进行飞行测试。
DARPA推出TRACTOR项目：自动化将C代码全量翻译为Rust
DARPA启动TRACTOR项目，旨在利用静态分析、动态分析和大型语言模型等技术，自动化地将遗留C代码转换为Rust代码。目标是达到熟练Rust开发者的代码质量，从而彻底消除C语言中存在的内存安全漏洞。该项目由MIT林肯实验室进行测试和评估，所有基准测试和工具将公开发布。这反映了软件界对于从依赖Bug查找工具转向使用编译时安全的“安全”编程语言来解决内存安全问题的共识。
DARPA HAWC 项目：高超音速吸气式武器概念
这是 DARPA 关于 HAWC 项目的官方归档页面。项目旨在开发空射高超音速巡航导弹，重点解决超燃冲压发动机、热管理和成本控制等技术难题。页面注明该项目已完成，内容仅供存档参考，无最新进展或深度技术分析。
生成式光遗传学：DARPA 的新生物编程计划
DARPA 启动 GO 项目，旨在利用光控制活细胞内 DNA 和 RNA 的合成。这被视为一种革命性的生物编程方法，有望解决当前合成生物学在规模、复杂度和环境影响上的局限，对医疗、农业及制造业有深远影响。
DARPA发起“提升挑战”：悬赏650万美元研发能吊起自身4倍重量的无人机
DARPA启动Lift Challenge，旨在解决当前多旋翼无人机载重比低（通常1:1或更低）的瓶颈。挑战赛要求设计重量不超过55磅的飞行器，却能吊起至少110磅的有效载荷（4:1比例），并计划于2026年夏季进行实地测试。该挑战提供650万美元奖金，鼓励高校、独立创新者和工业界通过新材料、气动设计和推进系统的突破，重新定义军用和民用无人机的能力上限。
DARPA 量子基准测试计划选定十一家公司进入第二阶段
DARPA 量子基准测试计划（QBI）进入第二阶段，选定了十一家公司。该计划旨在验证能否在2033年前建成具有工业实用价值的量子计算机，核心标准是计算价值超过成本。入选公司需提交研发计划以消除风险，后续将进入政府验证阶段。这是官方项目进展公告，属于机构通稿。
DARPA发起TRACTOR项目：利用AI自动将C代码转换为Rust
DARPA启动TRACTOR项目，旨在利用大语言模型和软件分析技术，自动化将遗留C代码转换为内存安全的Rust代码。项目强调不仅要实现功能转换，还要达到熟练Rust开发者的代码质量和风格，以彻底消除内存安全漏洞。DARPA计划通过公开竞赛测试方案能力，并将于2024年8月26日举行提案日。这反映了业界对解决C/C++内存安全问题从被动修补转向主动重构的趋势。
DARPA 命名全自主无人舰艇“Defiant”，旨在革新海军作战能力
DARPA 举行了全自主无人水面艇 USX-1 Defiant 的命名仪式。该艇是 NOMARS 项目的演示舰，专为完全无人操作设计，无需预留人类生存空间，从而简化了船体结构并降低了成本。这艘 180 英尺长的轻型舰艇旨在通过展示其在恶劣海况下的可靠性和耐久性，证明全自主系统的可行性。完成后将移交美国海军，作为首个纯自主中型无人水面艇（MUSV），旨在增强国防工业基础并扩展有人舰艇的能力。
网络急救：让关键系统在16秒内自动自愈
DARPA资助URSA Inc开发“网络急救”原型，利用大模型和形式化方法，能在16秒内自动检测漏洞、生成补丁并修复运行中的系统（如心脏起搏器模拟器）。该技术旨在解决关键基础设施和国防系统遭受攻击时的实时自愈问题，并通过持续学习增强防御能力。文章同时强调了SBIR项目对小型企业创新的支持作用。
DARPA演示革命性无人机能力，助力前线作战人员
DARPA启动EVADE项目，测试五种330磅以下的垂直起降无人机，旨在快速向一线作战人员部署。项目采用统一的Sikorsky MATRIX自主飞行算法和海军的Battle Management System载荷管理软件，以简化操作并降低成本。主要目标是让小型部队也能获得类似大型无人机的ISR、通信中继和后勤能力，无需额外基础设施。计划于2025年底前将成果移交军方服务部门。
DARPA项目刷新激光无线传能距离纪录
DARPA的POWER项目在墨西哥州测试中刷新了激光无线传能纪录：从8.6公里外传输超过800瓦功率，累计能量超1兆焦耳。相比以往纪录，距离和功率均有显著提升。该测试在地面进行，需克服大气层干扰，难度较大。接收端采用新型紧凑孔径设计和抛物面镜反射至光伏电池，效率在短距离下超过20%。项目旨在解决军事边缘能源补给难题，摆脱燃料限制。目前正推进第二阶段，寻求合作伙伴进行集成中继和垂直传能演示。
DARPA推出expMath计划：用AI合著者加速纯数学突破
DARPA发起的expMath项目旨在利用AI加速纯数学研究。主要解决数学证明分解和形式化验证慢的问题，目标是开发能提出并证明抽象概念的AI合著者。项目已召开启动会，汇聚了众多顶尖数学家和AI专家。
DARPA HACMS 项目：利用形式化方法构建高保障军事系统
DARPA 发起 HACMS 项目，旨在利用形式化方法（如定理证明和模型检测）构建高保障的网络安全物理系统。核心目标是实现从形式化规范到代码的半自动合成，并生成机器可检查的正确性证明。项目计划开发开源的高保障操作系统和控制组件，用于构建军用车辆，并最终将技术转移至国防和商业领域。这是一份典型的机构项目介绍，缺乏具体的技术细节、个人实战经验或行业争议点。
DARPA筛选近20家量子计算公司，目标2033年实现工业级容错计算机
DARPA量子基准测试计划QBI选出近20家公司进入第一阶段，目标是在2033年前验证工业级容错量子计算机的可行性。入选公司涵盖超导、离子阱、中性原子等多种技术路线，包括IBM、Google、IonQ等。该计划分为三个阶段，最终由独立团队进行硬件验证。官方强调这不是竞赛，而是为了筛选出真正有潜力实现实用化的项目，区分炒作与现实。