Внутренняя модель ИИ опровергла гипотезу об оптимальности квадратной решётки в задаче единичного расстояния

Внутренняя исследовательская модель ИИ нашла бесконечную семью конфигураций точек в плоскости, которые обеспечивают полиномиальное увеличение числа пар точек на расстоянии 1, и этим опровергла центральную гипотезу о том, что квадратная решётка даёт оптимальную плотность единичных расстояний. Это изменение результатов имеет значение для дискретной геометрии, поскольку сдвигает границу известных конструкций и нижних оценок по числу таких пар. Предложенная модель не ограничилась единичным примером: она формулирует целую бесконечную семью конфигураций, каждая из которых даёт рост числа пар на расстоянии 1 по сравнению с ранее считавшимися оптимальными примерами. Улучшение оценено как полиномиальное, то есть выигрыш масштабируется с ростом размера конфигураций в зафиксированном полиномиальном соотношении, что качественно отличается от компактных или константных корректировок.

Ранее в сообществе дискретной геометрии одной из ключевых кандидатных структур для максимизации числа единичных расстояний считалась квадратная решётка; теперь именно эта предполагаемая оптимальность оказалась под сомнением. Авторам и моделям до сих пор приписывали роль в поиске экстремальных расположений точек, и новое нахождение прямо противопоставляет прежним примерам по основному параметру исследования — числу пар в единичной дистанции. Планарная задача единичного расстояния была сформулирована Полем Эрдёшем в 1946 году, и на протяжении десятилетий именно подобные вопросительные утверждения о конструкциях и их оптимальности оставались центральными для развития темы. Изменение в оценках и появление конструкций с полиномиальным улучшением — событие, опирающееся на исторически важную формулировку задачи и потому привлекающее внимание специалистов по дискретной и комбинаторной геометрии.

Предложенная конструкция сопровождается доказательством, изложенным в сопроводительной статье; это доказательство прошло проверку группой внешних математиков. Такая верификация внешними специалистами подчёркивает, что результат не остался локальной находкой модели, а был подвергнут математической проверке и описан в сопроводительном научном тексте.