🧠 GPT-5.6 помогл опровергнуть гипотезу, которую не могли решить почти 30 лет

Математик Дмитрий Рыбин попросил языковую модель найти контрпример к давней гипотезе из теории графов. После нескольких коротких просьб продолжить поиск GPT-5.6 построил подходящую сеть. Проверка показала: решение действительно нарушает предполагаемую закономерность.

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

Ранее математики доказали, что перейти от дробного распределения к неделимому можно с ограниченной перегрузкой дорог. Оставался вопрос: удастся ли при этом не увеличить общую стоимость перевозки? Почти 30 лет считалось, что да, однако строгого доказательства не существовало.

GPT-5.6 нашел сеть, в которой дробный план стоит 58 условных единиц, а любой допустимый неделимый — не меньше 60. Рыбин перепроверил расчёты вручную во время просмотра фильма с друзьями, и всё сошлось. Правда, результат пока ещё не прошёл полноценное научное рецензирование.

Подробности читайте на сайте

Ставьте 🤯, если после этой истории фраза «попроси нейросеть подумать ещё» зазвучала для вас совсем иначе!