Recent developments in large language models (LLMs) have generated counterexamples to several long-standing mathematical conjectures. This has sparked varied reactions among mathematicians and enthusiasts, leading to discussions about the implications for the field of mathematics.

ChatGPT disproved Erdős’ Unit Distance conjecture in discrete geometry on May 20, 2026. Human mathematicians have acknowledged this achievement and its implications for the field of formalization and AI tools.