An OpenAI model has disproved a central conjecture in discrete geometry
正文
An OpenAI model solved the 80-year-old unit distance problem, disproving a major conjecture in discrete geometry and marking a milestone in AI-driven mathematics.
来源
- 原文:https://openai.com/index/model-disproves-discrete-geometry-conjecture
- 来源:OpenAI Blog