Super Dario
@inductionheads
the only way out is up
Joined January 2022
4K Following 10K Followers
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?
Most Popular Users
