An OpenAI model has disproved a central conjecture in discrete geometry
An OpenAI model solved the 80-year-old unit distance downside, disproving a main conjecture in discrete geometry and marking a milestone in AI-driven arithmetic.
An OpenAI model solved the 80-year-old unit distance downside, disproving a main conjecture in discrete geometry and marking a milestone in AI-driven arithmetic.