Human mathematicians are being outcounterexampled
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.
xenaproject.wordpress.com
11 min
7/20/2026
Human mathematicians are being outcounterexampled
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.
xenaproject.wordpress.com
11 min
7/20/2026
Human mathematicians are being outcounterexampled
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.
xenaproject.wordpress.com
11 min
7/20/2026
No more articles to load