OpenAI GPT-next proves Erdős planar unit distance conjecture for under $1000.

An OpenAI model codenamed GPT-next reportedly solved the 80-year-old Erdős planar unit distance problem at a compute cost of under $1000, marking a notable result in AI-assisted mathematical theorem proving. The achievement was highlighted in AI news circles as a quiet but significant demonstration of frontier model capabilities in formal reasoning. While not a formal research publication, the result underscores the growing intersection between large language models and long-standing mathematical open problems.