Восьмидесятилетняя задача единичных расстояний пала под ударом модели OpenAI

Больше 80 лет дискретная геометрия жила с пакетом недоказанных опорных предположений вокруг графов единичных расстояний на плоскости, а модель OpenAI опровергла одно из центральных — факт, который сразу перекидывает разговор из зоны «красивых эвристик» в зону воспроизводимых цепочек шагов и независимого ревью.

Инженерный смысл для тех, кто гоняет агентов на научном коде, простой: даже эпохальный брейкпойнт бессилен без прозрачного конвейера проверки — от формализации утверждений до прогонов на эталонных конфигурациях и контроля дрейфа постановки задачи. Здесь важны не лозунги про «AI-driven mathematics», а привычка держать доказательство так, чтобы его мог разобрать коллега-геометр без доступа к закрытым логам модели.

Для продуктовых пайплайнов это ещё и сигнал пересобрать приоритеты: меньше демо на случайных примерах, больше жёстких инвариантов, регрессионных тестов на контрпримерах и явных критериев остановки поиска. Иначе любая «победа над гипотезой» останется одноразовым артефактом вместо опоры для следующих теорем.

Источник: An OpenAI model has disproved a central conjecture in discrete geometry.