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?
