软件正确性的算力分配或将转向：形式化验证 > 模糊测试

AI 时代投入软件正确性的总算力排序可能由 fuzzing 主导转为矩阵乘法（AI/学习）> 系统化逻辑（形式化方法）> 随机搜索（fuzzing）。原文将其界定为关于形式化验证能否取代 fuzzing 的主观判断，未提供实证数据。