Article:Noga Alon, Thomas F. Bloom, W. T. Gowers, Daniel Litt, Will Sawin, Arul Shankar, Jacob Tsimerman, Victor Wang, Melanie Matchett Wood
Erdős Unit Distance Conjecture Disproved: Human-Verified OpenAI Counterexample
A team of prominent mathematicians has published a verified, digested version of an OpenAI-generated counterexample that disproves the Erdős unit distance conjecture.