Home Online Mathematical Communication Computational Complexity ChatGPT tried to write an obit for Martin Davis. What it got right, wrong, and what to make of it.