Artificial intelligence tools are increasingly outperforming human mathematicians in generating counterexamples to disprove complex conjectures. Highlighting this trend, ChatGPT recently disproved the long-standing Erdos Unit Distance conjecture in discrete geometry. This breakthrough marks a significant milestone for the intersection of AI and mathematical formalization.