OpenAI's internal reasoning model just solved an 80-year-old open problem in math: the planar unit distance conjecture posed by Paul Erdős in 1946. Fields Medalist Timothy Gowers endorsed the proof. Digg is tracking activity and sentiment from @wtgowers. digg.com/ai/723s10lf(Digg)