The article discusses the reasoning capabilities of GPT-4 and cites a paper indicating limitations in GPT-4's reasoning abilities. The author points out that using generative artificial intelligence for tasks requires caution and that having confidence in the correctness of the system's reasoning is essential. Finally, the article calls for more rigorous proof checking to enhance the reliability of generative artificial intelligence.