以约50美元token重写Apache2
热点事件持续更新
以约50美元token重写Apache2
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
jd_pressman 正使用约50美元的 DeepSeek 4.1 flash token，将 Apache2 Web 服务器重写为采用 Verus Rust、并经过形式化验证的实现。目前这项重写仍在进行；他据此认为，代码生成成本已低到可以不再为兼容性妥协，AI 安全讨论中的部分限制条件可能因此改变。
AI 根据报道生成 · 2 小时前更新
最新进展10月24日 11:12
Verus Rust：用约 50 美元 token 将 Apache2 替换为形式化验证实现，代码成本已低到可以重写报道时间线
沿着报道，了解事件的不同侧面。
10月24日
- AGI HuntVerus Rust：用约 50 美元 token 将 Apache2 替换为形式化验证实现，代码成本已低到可以重写
jd_pressman 正以约 50 美元的 DeepSeek 4.1 flash token，将 Apache2 Web 服务器替换为经过形式化验证的 Verus Rust 实现。其论据是，代码成本已低到可以不考虑兼容性妥协，AI 安全讨论中许多“不得不妥协”的前提可能不再成立。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。