GDP
@bookwormengr
AI model & hardware co-design, Inference economics
Safe super intelligence for all
All views strictly personal
参加 July 2010
12.3K フォロー中 18.5K ファン
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?
