The news this week that OpenAI had released a document listing hundreds of big problems which its robot claims to have solved (including the Boone–Higman conjecture and the Unique Games Conjecture) was the main topic of conversation over coffee. I … Continue reading →