2025年6月17日，美国国防高级研究计划局（DARPA）启动"迷你顶点计划"，旨在通过数学驱动的形式化方法重构国防工业基础（DIB）网络防御体系，确保"美国不输掉下一场重大冲突"。面对国防系统依赖3...