3 ms·ChatGPT tried to write an obit for Martin Davis. What it got right, wrong1 points by furcyd 4y ago