大胆说法，但GPT5比o3差。

关于GPT-5，最搞笑的事情是我一个朋友上周在Caltrain上看到有人在使用它，并知道它即将发布。 湾区真的是AI的唯一去处！

8200万美元。这是我们上次演示日后，出去融资的公司的平均估值。 HF0是一个你将设定一个不可能的目标，并超越它的地方。 剩余6个名额。 截止日期：周五，午夜。

看到这一天终于到来真是太疯狂了。自从开始Succinct的过去三年是一段狂野的旅程，经历了无数的血、汗和泪——但我不会用任何东西来交换它。 没有人认为ZK会很简单——我记得在构建Succinct一年后，John和我去找我们的投资者，告诉他们我们想要构建一个zkVM。我们知道ZK有巨大的潜力，但ZK开发的现状是破碎的。构建任何东西都需要一个密码学博士学位和巨大的痛苦。他们笑了，问我们的团队（没有任何正式的密码学培训）是否能构建如此技术难度的东西。即使我们能做到，他们也认为至少需要两年。老实说，我们甚至不确定我们能否构建它。但经过几个月的9-9-6，当我们推出SP1作为最快的zkVM时，我们证明了所有人都是错的。 没有人认为ZK会被采用——一旦我们有了SP1，显然这是ZK技术的一个阶跃式变化。最终，你可以直接用Rust编写程序，把它放入SP1并证明任何事情。但是，随后人们开始问：谁会真正使用这项神奇的技术？Rollups真的想使用ZK吗？ZK的用例除了zkEVMs之外还有什么？在35多个客户和40亿美元的TVL在许多应用程序（如rollups、交易所等）中得到保障，Ethereum L1全力投入zkVM并实现实时证明，显然ZK具有真正的实用性和采用率。我们证明了他们是错的。 没有人认为ZK会有趣——在加密领域，拥有Real Tech TM并不总是完整的故事。长期以来，ZK一直是学术性的，难以为更广泛的受众所理解。我们的测试网是我第一次看到更广泛的CT发现ZK有趣。而我们的社区创造力超乎想象——有才华的艺术家、3D动画师、网页开发者、作家等等。我们证明了他们是错的。 证明经济将从这里开始100倍增长。随着我们证明者网络主网的推出，我们终于拥有了使ZK采用增长100倍的成分。SP1使ZK易于使用。证明者网络使其便宜、快速，并准备好进行全球规模的使用。总有一天，Succinct证明者网络将证明每一笔链上交易，并推动ZK应用超越区块链。 向不可思议的Succinct团队致敬，他们自始至终不知疲倦地工作。这是与每个人一起工作的终生旅程，不断打破元规则，超越每个人的期望，实现不可能的目标💗 在过去的三年中，我知道我们的团队可以完成我们所设定的任何目标。这只是一个开始，我们还有很多要证明的。继续前进。

明天在帕洛阿尔托有没有人可以让我共享办公的地方？

安全的非托管比特币工具将为比特币持有者带来巨大的解锁机会！ 我喜欢@AlpenLabs团队的原因之一是他们与比特币生态系统的价值观高度一致，因此我知道他们在构建Alpen时会做出正确的设计决策。

研究公理，第三网络，马格纳 🤷🏽‍♂️

这周谁在旧金山？👋

飞了6个小时到旧金山参加SBC，主要是与位于纽约市的人进行一对一的交流。

伯克利的这些门把手真是细节上的美好关注