[AINews] OpenAI GPT-next disproves 80 year old Erdős planar unit distance problem for under $1000
OpenAI's GPT-next disproved an 80-year-old Erdős geometry conjecture for under $1000
OpenAI's upcoming model (speculated to be GPT 5.6) disproved the planar unit distance problem, an 80-year-old Erdős conjecture, in under 32 hours of compute costing less than $1000. Unlike AlphaProof or Lean-based dedicated math models, this was a general-purpose LLM using extended reasoning, suggesting the capability may generalize broadly. This follows the 2025 IMO Gold result and marks a significant milestone in AI mathematical reasoning.