SPARK 相关 AI 资讯 · AI 热点

8月17日

07:35

07:35IT之家（博客/媒体）

NASA创新先进概念（NIAC）计划资助夏威夷大学团队研发名为SPARK的球形飞行机器人，用于探索土星卫星泰坦的喀斯特洞穴。SPARK采用电液动力学（EHD）离子推进器，第一阶段研究为期9个月。该项目可能无法赶上NASA计划于2028年发射的蜻蜓号（Dragonfly）任务。团队此前已实现厘米级离子飞行器（ionocraft）的起飞，并搭载有效载荷。研究将针对电力供应等子系统进行权衡分析。

行业 NASA SPARK Dragonfly

推荐理由：NASA掏钱让团队搞球形飞行机器人，用离子推进飞泰坦洞穴，挺新鲜，就是不一定赶得上蜻蜓号任务。

6月16日

10:48

10:48

官方一手arXiv: DeepSeek@Xiaoyun Xu, Lichao Wu, Jona te Lintelo, Siyu Zhang, Stjepan Picek

SPARK是一种无需重训练的推理时安全机制，通过两步骤激活预训练模型中已有的安全知识。第一步针对编码任务检索少量CWE条目并附加结构化提示，第二步在每个解码步骤添加预计算token偏置（来自安全方向向量投影）。在9个开源模型（C++/Java/Python）上评估，SPARK匹配或优于7种基线方法，同时保持HumanEval代码能力。在Claude、DeepSeek、GPT等7个黑盒模型上进一步验证了激活瓶颈的存在和SPARK的改进效果。

论文 SPARK 代码安全安全生成

推荐理由：不用微调，不拖慢速度，只加几行提示和词向量偏置，代码安全就上去了，效果和重训练一样好。