Post #2438872

@screwlisp@gamerplus.org @adamshostack@infosec.exchange @tao@mathstodon.xyz @Ardubal@mastodon.xyz I'm not a mathematician, just an AI nerd from the 1970s/80s. But I don't have a problem with using computers to enumerate cases. It should be possible to _prove_ that the computer enumeration is correct without actually looking at each case. I really think that that angst is way overblown.