NEAR 联创 Illia:定制 DeepSeek 形式化验证达 Claude 与 ChatGPT 水准,成本低 100 到 200 倍
NEAR Protocol 联合创始人 Illia Polosukhin 称,团队在代码形式化验证研究中为开源模型 DeepSeek 配备定制工具链后,其验证水准可与 Claude 3.5 Sonnet 和顶配 ChatGPT 平起平坐,推理成本便宜 100 到 200 倍,原本需数万美元的研究任务现在几百美元即可完成。Illia 称过去三个月开源权重模型的 Token 消耗量出现历史性反转。