ChatGPT tried to write an obit for Martin Davis. What it got right, wrongblog.computationalcomplexity.org1 pointfurcyd3 years ago