←── back to feed
/topics/openai-solves-1946-erdos-problem

OpenAI solves 1946 Erdős problem

3 items3 sourcesupdated 26d agotrend 0

OpenAI's GPT-next model disproved the 80-year-old Erdős planar unit distance problem, a long-standing conjecture in mathematics, for under $1,000. The computation consumed 0.6–6.3 kWh of electricity and 3–31 liters of water.

  • Erdős problem originated in 1946 as a conjecture about planar unit distance graphs
  • GPT-next model used to disprove the problem; cost under $1,000 to solve
  • Resource use: 0.6–6.3 kWh electricity, equivalent to 2–20 miles of EV driving
  • Water consumption: 3–31 liters, roughly equivalent to less than 3 almonds' worth