#RISC-V
共 3 篇
模型权重里「编译」进一颗 RISC-V 处理器
开发者 Agrawal 在 Qwen3.5 4B 的权重中直接编译进一颗 32 位 RISC-V 处理器，用模型自己的线性注意力状态当内存，算长整数比裸模型准得多。本文拆解实现原理、实测数字与这项实验对安全研究的意味。
达摩院发了车规增强版玄铁处理器
达摩院发布车规增强处理器玄铁 E908A，称其为首个同时达到 ASIL-B 与 ASIL-D 的 RISC-V CPU IP。安全等级意味着什么、数字怎么看，这篇讲清。
大模型让形式化验证变得可行了
Anthropic 说 Claude 在几周内给 123 个开源库写了机器可查的正确性证明。这篇讲清它到底证了什么、没证什么，以及为什么瓶颈从写证明挪到了写规格。