An OpenAI researcher posted that 'GPT-5 has solved an unsolved mathematical problem,' but it turned out that the problem had already been solved, leading to ridicule from rival developers, including Google DeepMind CEO Demis Hassabis.