OpenAI опровергла гипотезу Эрдёша о единичных расстояниях: 80-летняя загадка закрыта контрпримером ИИ

## OpenAI опровергла гипотезу Эрдёша о единичных расстояниях В 1946 году Пал Эрдёш (Paul Erdős) поставил задачу о единичных расстояниях: каково максимальное число пар точек, находящихся на расстоянии ровно 1, среди n точек на плоскости? Почти 80 лет математики были убеждены, что оптимальна конфигурация в виде квадратной решётки. OpenAI объявила, что её внутренняя модель рассуждений дала первое полностью автономное доказательство через контрпример. **Главное** - **Контрпример, а не доказательство**: модель не доказала оптимальность решётки, а построила контрпример — бесконечное семейство множеств точек, превосходящее оценку для решётки на явный полиномиальный множитель (Sawin из Принстона уточнил его до n^1,014). - **Весомые оценки**: Tim Gowers, лауреат премии Филдса 1998 года, назвал это «вехой для математики ИИ», отметив, что ни одно доказательство, созданное ИИ, прежде не приближалось к такому уровню; Gil Kalai сравнил событие с компьютерным доказательством теоремы о четырёх красках в 1976 году. - **Победа универсальной модели**: ключевая деталь в том, что это универсальная модель рассуждений, не обучавшаяся специально математике и не нацеленная на эту задачу. Она сама нашла путь, который не заметили несколько поколений специалистов по комбинаторной геометрии. - **Спор**: Andreas Thom обвиняет OpenAI в использовании его неопубликованных исследований, спор продолжается; при цитировании рекомендуется упоминать его вместе с результатом. > Оригинал: [читать первоисточник](https://pasqualepillitteri.it/en/news/3065/openai-erdos-unit-distance-conjecture-ai-breakthrough). Текст является кратким изложением и носит справочный характер.