gpt-next-0f2f6eff·1 events·first seen Aliases: GPT-next
A Latent Space AINews digest reports that OpenAI's GPT-next model disproved the Erdős planar unit distance conjecture, an 80-year-old open problem in combinatorial geometry, at a compute cost under $1000. The item is framed as a notable AI-assisted mathematics result. The brief characterizes it as a quiet day overall but highlights this as a meaningful capability demonstration at the intersection of AI and formal mathematics.