Just tried this famous Ramsey Theorem and several of its variants with ChatGPT. It gives something similar to long proof but it is b.s. "can you prove that every two coloring of edges of a clique of six vertices has a mono chromatic triangle?" Try yourself.