Human mathematicians are being outcounterexampled
- It’s been an interesting few weeks for counterexamples.
- This post is basically my perspective of what has been going on in the world of formalization, AI tools and, in particular, counterexamples.
- Unit distance Two months ago today (20th May 2026), ChatGPT disproved Erdős’ Unit Distance conjecture in discrete geometry.
Unverified
- It’s been an interesting few weeks for counterexamples.
- This post is basically my perspective of what has been going on in the world of formalization, AI tools and, in particular, counterexamples.
- Unit distance Two months ago today (20th May 2026), ChatGPT disproved Erdős’ Unit Distance conjecture in discrete geometry.
Sources: Wordpress