lukeprog comments on What Peter Thiel thinks about AI risk