[AINews] OpenAI GPT-next disproves 80 year old Erdős planar unit distance problem for under $1000

In three linesOpenAI GPT-next solved the 80-year-old Erdős planar unit distance problem for under $1000. Significant result at the intersection of AI and mathematics.

Summary generated by Claude — human-verified