Нейросеть GPT-5.6 заявила о доказательстве математической гипотезы, остававшейся нерешённой почти полвека.

Нейросеть GPT-5.6 заявила о доказательстве математической гипотезы, остававшейся нерешённой почти полвека. Речь идёт о предположении, которое независимо выдвинули Дьёрдь Секереш и Пол Сеймур в 1970-х годах: в любом графе без мостов существует набор циклов, покрывающий каждое ребро ровно дважды. Формулировка задачи умещается в одном предложении, однако общий случай десятилетиями не поддавался усилиям математиков. Удавалось подтвердить гипотезу лишь для отдельных классов — планарных и кубических графов. Камнем преткновения оставались так называемые снарки, на которых стандартные методы переставали работать. По информации OpenAI, модель справилась с задачей менее чем за час, используя рой из 64 агентов. Итоговое доказательство уместилось на трёх страницах и, что примечательно, не опирается ни на какую новую теорию — все задействованные в нём техники были известны математикам уже к середине 1980-х годов.