[AINews] OpenAI GPT-next disproves 80 year old Erdős planar unit distance problem for under $1000
OpenAI's GPT-next computationally disproved the Erdős unit distance conjecture in the plane, a longstanding 80-year-old problem, for under $1000 in compute costs.
Excerpt
a quiet day but a nice result in AI x mathematics
Read at source: https://www.latent.space/p/ainews-openai-gpt-next-disproves