注册并分享邀请链接，可获得视频播放与邀请奖励。

立即注册

fricoben 的头像

fricoben (@Fricoben)

@Fricoben

I let AI do formal verification at

840 正在关注 5.1K 粉丝

fricoben@Fricoben

2026.05.27 09:29

@VitalikButerin @_Enoch @l2beat Make nutrition labels for proving systems

0

0

0

0

0

转发到社区

热门用户

@aleabitoreddit

898.2K 粉丝

1.1M 粉丝

26M 粉丝

45.1M 粉丝

46.7M 粉丝

@YGBABYMONSTER_

858.8K 粉丝

6.3M 粉丝

BTS JAPAN OFFICIAL

@BTS_jp_official

13.7M 粉丝

2.7M 粉丝

1.2M 粉丝

731.1K 粉丝

TWICE JAPAN OFFICIAL

@JYPETWICE_JAPAN

3.5M 粉丝

12.6M 粉丝

427.9K 粉丝

ポケモン公式

3M 粉丝