Компания OpenAI заявила, что одна из ее моделей решила проблему единичных расстояний на плоскости — одну из самых известных открытых задач дискретной геометрии, сформулированную Полом Эрдешем в 1946 году. Проверку доказательства провела группа независимых математиков. Задача связана с поиском максимального числа пар точек на плоскости, расположенных на расстоянии ровно одной единицы друг от друга. Долгое время исследователи считали, что наиболее эффективное решение дают конструкции на основе квадратной решетки...