quetzal_rainbow comments on quetzal_rainbow’s Shortform

[quetzal_rainbow]

Thread from Geoffrey Irving about computational difficulty of proof-based approaches for AI Safety.