What the Erdos unit distance conjecture said, what OpenAI's model actually did, and how nine mathematicians confirmed the result is real.
The 80-Year-Old Math Problem an AI Just…
What the Erdos unit distance conjecture said, what OpenAI's model actually did, and how nine mathematicians confirmed the result is real.