“After several unsuccessful attempts,” the mathematician Timothy Gowers posted on Twitter on 1 Apr, “I found a prompt that got Grok to solve a maths problem – the well-known Dubnovy Blazen problem in graph theory. I’ve been working on this for over a year. How long until it’s better than human mathematicians across the board?”
This was, of course, a joke: “Dubnový Blázen” is Czech for “April Fools.” However, several days later, others noticed that asking Google for “Dubnovy Blazen problem in graph theory” resulted in an AI-generated search summary that confidently proclaimed that it was “a well-known problem that AI model Grok solved after several attempts.” It’s wonderful watching the well of knowledge being poisoned in real-time.