Brevis 团队宣布推出 Pico Prism——目前最快的以太坊 zkVM 实时证明引擎，被 Vitalik 转发。 zk证明性能大幅提升：在 64 张 RTX 5090 的配置下，99.6%的区块验证可以在12秒内完成（12秒也是目前以太坊出块间隔），平均 6.9 秒，远超竞争对手。 @brevis_zk 拿到了 Polychain，YZI Labs 的投资，现在又获得Vitalik和以太坊基金会的背书，估计发币就是大满贯。 目前有做任务撸积分的活动，值得参与：

听闻字节全面收缩在 AI 应用层的投入，应用层聚焦到豆包，硬件层押注 PICO+ AI 硬件。 原因是：烧不起，以 2025 年的投入去烧 AI 应用，字节现金流撑不过 2027 年。 巧合的是，最近还听闻有几家 ARR 过亿美元的 AI 应用公司，开始在默默裁员，公司现金流压力非常大，很难持续。 还有一个偶然看到的新闻是，百万粉丝博主 Dan Koe 的创业产品 Eden，因烧钱太快，决定大幅裁员，产品停止迭代。 这一切都在揭示一个规律： 用互联网的思维去做 AI 产品创业，死路一条。因为 AI 产品没有规模效应，追求 DAU 等互联网时代的规模指标，会是有钱的 AI 产品存活不下去的主因。 没钱的 AI 产品创业公司，因为没钱可烧，无法追求规模，反而有机会看见真相。然后逐步赚取到真正的利润，有机会一步一步长大。 尊重经营，尊重时间。每个 AI 产品的创业者，可能都得重新审视这八个字。

用 10 美元的开发板，256MB 内存，跑十亿参数的大模型，这事真有人做出来了。 PicoLM 是纯 C 写的推理程序，编译出来单个文件约 80KB 大小，零依赖，运行占 45MB 内存。 在树莓派 5 上每秒大约 10 个 Token，树莓派 4 是 8 个，十美元那块板子也有 1 个。 GitHub： 作者拿它给 PicoClaw 当本地大脑，两个凑一起就是个全程离线的 Agent，无需联网。 上下文缓存会存到磁盘，若是同一段提示词第二次跑直接跳过，作者实测快 74%。 针对 ARM 和 x86 分别做了指令级优化，注意力计算和缓存也都精简过。 想要在本地跑大模型预算又有限，可以看下这个项目有没有值得参考学习的。

【币币为你爆】🎙️ AI 繁荣埋下资本错配隐患，「旧经济的复仇」远未结束 逆全球化、电气化与货币贬值三大需求引擎正在加速，而 AI 板块相对实物硬资产严重高估。

恭喜 Brevis 登陆 币安 和 OKX，达成大满贯！也恭喜拿到空投的大家，大毛！ 技术上，Brevis 是目前首个在以太坊 L1 实现实时有效性证明的团队：Pico zkVM 在多 GPU 集群下可对当前区块 10 秒内完成证明，并显著降低硬件成本。这条路线也多次获得以太坊核心社区与 Vitalik 的公开认可。 并且，Brevis 是为数不多已经商业落地的zk应用，Uniswap v4，PankaceSwap，Euler 等项目已经在 Brevis 累计生成 3亿 zk证明，服务 20万+ 用户 空投今晚9点开始领，10点币安现货交易。