Post by Alexander Wei on X
Alexander Wei@alexwei_
X1/ Ten months ago, I was ecstatic that AI could win IMO gold.
Today, that excitement feels quaint: an internal @OpenAI model has refuted Erdos’s unit distance conjecture—a research result that one could recommend “acceptance without any hesitation” to the Annals of Mathematics.
775 likes12 repliesPosted May 20, 2026