Chatbot, AI, Logic, Mathematics, FOS: Mathematics, ChatGPT, GPT-3.5, GPT-4, Google Bard