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

GDP
@bookwormengr
AI model & hardware co-design, Inference economics Safe super intelligence for all All views strictly personal. No investment advice, dummies!
加入 July 2010
12.6K 正在关注    18.9K 粉丝
Very good question!
Serious question: What would a solution to alignment even look like? What could I ever write down to show i had solved it? Is it a proof in lean?