My point was more that I expect there to be more value in producing provable safety design demos and provable safety design tutorials than in provable safety design principles, because I think the issue is “people don’t know how, procedurally, to implement provable safety in systems they build or maintain” than it is “people don’t know how to think about provable safety but if their philosophical confusion was resolved they wouldn’t have too many further implementation difficulties”.
So having any examples at all would be super useful, and if you’re trying to encourage “any examples at all” one way of encouraging that is to go “look, you can make billions of dollars if you can build this specific example”.
My point was more that I expect there to be more value in producing provable safety design demos and provable safety design tutorials than in provable safety design principles, because I think the issue is “people don’t know how, procedurally, to implement provable safety in systems they build or maintain” than it is “people don’t know how to think about provable safety but if their philosophical confusion was resolved they wouldn’t have too many further implementation difficulties”.
So having any examples at all would be super useful, and if you’re trying to encourage “any examples at all” one way of encouraging that is to go “look, you can make billions of dollars if you can build this specific example”.