ChatGPT tried to write an obit for Martin Davis. What it got right, wrong | Heykuki News