热点事件持续更新
NEAR 联创等探讨开源 AI 与隐私智能体经济
1 篇报道1 个报道来源最近报道 · 2 小时前
当前进展与背景
最新进展
最近报道 ·Illia 称定制工具链下的 DeepSeek 形式化验证水准比肩 Claude 与 ChatGPT，成本低 100 到 200 倍。
查看最近报道与出处 →报道时间不等于事件生效时间；具体状态与适用对象请对照来源。
背景综述 · AI 整理
以下帮助了解背景；涉及安排、版本或状态时，以较新的具体报道为线索核对。
NEAR Protocol 联合创始人 Illia Polosukhin 称，团队在代码形式化验证研究中为开源模型 DeepSeek 配备定制工具链后，其验证水准可与 Claude 3.5 Sonnet 和顶配 ChatGPT 相当，推理成本便宜 100 到 200 倍，原本需数万美元的研究任务现在几百美元即可完成。他还称过去三个月开源权重模型的 Token 消耗量出现历史性反转。上述为嘉宾自述，材料未提供独立验证。
综述整理于
报道时间线
沿着报道，了解事件的不同侧面。
10月27日
- 深潮 TechFlow · Web3 资讯NEAR 联创 Illia：定制 DeepSeek 形式化验证达 Claude 与 ChatGPT 水准，成本低 100 到 200 倍
NEAR Protocol 联合创始人 Illia Polosukhin 称，团队在代码形式化验证研究中为开源模型 DeepSeek 配备定制工具链后，其验证水准可与 Claude 3.5 Sonnet 和顶配 ChatGPT 平起平坐，推理成本便宜 100 到 200 倍，原本需数万美元的研究任务现在几百美元即可完成。Illia 称过去三个月开源权重模型的 Token 消耗量出现历史性反转。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。