GDP
@bookwormengr
AI model & hardware co-design, Inference economics
Safe super intelligence for all
All views strictly personal
Joined July 2010
12.3K Following 18.5K Followers
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?
