GPT-5.6 доказала 50-летнюю математическую гипотезу

Слишком просто, чтобы быть правдой? GPT-5.6 выдал доказательство 50-летней математической гипотезы Формулируется за минуту, не поддавалась 50 лет. В любом графе без мостов найдётся набор циклов, покрывающий каждое ребро ровно дважды — так утверждает гипотеза, которую независимо выдвигали Секереш и Сеймур ещё в 70-х. Планарные графы закрыли, кубические закрыли, а общий случай упирался в снарки, где стандартные приёмы не работают. Потом OpenAI заявила, что её модель справилась меньше чем за час, задействовав рой из 64 агентов. Доказательство заняло три страницы, и вся техника в нём существовала уже к середине 1980-х без всякой новой теории. Получается, короткая комбинация известных идей 40 лет лежала на поверхности, и поколения математиков, включая авторов гипотезы, прошли мимо. Если, конечно, доказательство устоит. Выясним, что заставило рой агентов найти комбинацию, мимо которой прошли все.