An AI model disproved Erdős's 80-year-old unit distance conjecture. What it actually proved, who verified it, and why ma…
