Продолжаю настырно и разнообразно доносить мысль, что все сдохнут, а я останусь:
Цитата:
Такими новостями уже никого не удивишь, но GPT-5.6 опровергла еще одну известную гипотезу, которая была открыта 30 лет
Гипотеза Диница - Гарга - Гоеманса – это теорема из теории графов и сетевых потоков, которая гласит, что из допустимого дробного решения можно получить целочисленное по маршрутам решение без увеличения общей стоимости.
Подобные утверждения часто становятся основой для практических оптимизационных алгоритмов, поэтому гипотеза важная. Открыта она была с 1999.
Решение, к слову,
обнаружил математик из Нижнего Тагила, выпускник ВШЭ. Вот
чат с моделью. Промптинг на уровне «соверши прорыв», «опровергни общий случай», «продолжай исследовать» – то есть вообще никаких подсказок и даже серьезных инструкций. Сам автор называет чат «чистым мемом».
В итоге за несколько итераций и несколько часов модель нашла нужный контрпример. Вот такая математика в 2026.
Ничего кроме аналогичных новостей я про эту гипотезу не нагуглил, поэтому обратился за помощью к чат-боту - вот итог его пояснений:
Цитата:
Фраза «Гипотеза Диница — Гарга — Гоеманса была открыта в 1999 году» по всей видимости, неверна или, по крайней мере, вводит в заблуждение. Более корректно говорить так:
- в 1999 году была опубликована знаменитая теорема Диница–Гарга–Гоеманса;
- позднее Гоеманс предложил естественное усиление этой теоремы (cost version), которое стало известно как Dinitz–Garg–Goemans conjecture;
- именно это усиление, согласно нынешним сообщениям, было опровергнуто найденным контрпримером.
