Super Dario
@inductionheads
the only way out is up
加入 January 2022
4K 正在关注 10K 粉丝
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?
热门用户
