🙂«Подумай ещё»: как ИИ нашёл контрпример к задаче, открытой почти 30 лет
Всё началось со спора двух друзей-математиков. По словам автора этой истории, они поспорили, сможет ли искусственный интеллект решить серьёзную математическую задачу до конца лета.
Скептик продолжил заниматься своими делами. Энтузиаст Дмитрий Рыбин начал предлагать языковой модели открытые математические задачи.
Одной из них стала гипотеза Диница – Гарга – Гоеманса, связанная с распределением потоков в сетях. Проще говоря, речь идёт о том, как направлять потоки в транспортных, компьютерных и других сложных системах, не превышая допустимую нагрузку и стоимость.
Первые попытки не дали результата. Дмитрий Рыбин не добавлял сложных формул и длинных инструкций, а просил модель продолжить исследование, глубже разобраться в задаче и найти полный контрпример.
После четырёх коротких запросов GPT-5.6 Pro представила граф из семи вершин и девяти направленных рёбер. К результату прилагались данные, математическое обоснование и программа для проверки всех возможных вариантов.
Предложенный контрпример может опровергнуть гипотезу, которая оставалась открытой почти 30 лет. Однако результату ещё предстоит пройти независимую научную проверку, поэтому говорить, что задача окончательно закрыта, пока рано.
Но история важна уже сейчас. Она показывает: человек не исчезает из процесса. Он ставит задачу, оценивает ответы, замечает ошибки, не принимает незавершённый результат и проверяет выводы.
👉Подробнее – по ссылке.
Всё началось со спора двух друзей-математиков. По словам автора этой истории, они поспорили, сможет ли искусственный интеллект решить серьёзную математическую задачу до конца лета.
Скептик продолжил заниматься своими делами. Энтузиаст Дмитрий Рыбин начал предлагать языковой модели открытые математические задачи.
Одной из них стала гипотеза Диница – Гарга – Гоеманса, связанная с распределением потоков в сетях. Проще говоря, речь идёт о том, как направлять потоки в транспортных, компьютерных и других сложных системах, не превышая допустимую нагрузку и стоимость.
Первые попытки не дали результата. Дмитрий Рыбин не добавлял сложных формул и длинных инструкций, а просил модель продолжить исследование, глубже разобраться в задаче и найти полный контрпример.
После четырёх коротких запросов GPT-5.6 Pro представила граф из семи вершин и девяти направленных рёбер. К результату прилагались данные, математическое обоснование и программа для проверки всех возможных вариантов.
Предложенный контрпример может опровергнуть гипотезу, которая оставалась открытой почти 30 лет. Однако результату ещё предстоит пройти независимую научную проверку, поэтому говорить, что задача окончательно закрыта, пока рано.
Но история важна уже сейчас. Она показывает: человек не исчезает из процесса. Он ставит задачу, оценивает ответы, замечает ошибки, не принимает незавершённый результат и проверяет выводы.
Возможно, один из главных навыков работы с ИИ сегодня – не умение написать один идеальный запрос, а способность вовремя сказать: «Подумай ещё».
👉Подробнее – по ссылке.