登录

出来

分类

证明

底层到机器码的形式化验证，过去是出了名的高工程量苦活，如今借着大模型的能力，验证效率正以约每两个月翻一番的速度飞涨，而且写出来的证明还能跨项目复用。

文章

出来

但是，剪映出来的一些人还受竞业协议约束，硅星人报道过有创业者因此不能做AI视频。

文章

在剪映出来的创业者里，陈冕和明超平常被放在一起比较，他们分别代表了操盘手和产品经理两种人。

文章