GPT-5.6 Sol Ultra довів гіпотезу циклічного подвійного покриття — 50-річна математична загадка розв'язана ШІ
OpenAI-ის უძლიერესმა მოდელმა GPT-5.6 Sol Ultra-მ ავტონომიურად შექმნა მათემატიკური დამტკიცება ციკლური ორმაგი დაფარვის კონიექტურისთვის — გრაფთა თეორიის ერთ-ერთი ყველაზე ცნობილი ღია პრობლემის გადაწყვეტა.
Вступ: Коли ШІ перевершує математиків
10 липня 2026 року математичний світ сколихнувся. OpenAI опублікувала документ, який змінює наше розуміння можливостей штучного інтелекту. Їхня найпотужніша модель — GPT-5.6 Sol Ultra — автономно створила доведення гіпотези циклічного подвійного покриття (Cycle Double Cover Conjecture), яка залишалася відкритою проблемою з 1970-х років.
Це не звичайне досягнення ШІ — це момент, коли штучний інтелект вперше розв'язав математичну проблему, внесену до списку нерозв'язаних математичних проблем Вікіпедії.
Що таке гіпотеза циклічного подвійного покриття?
Гіпотеза належить до теорії графів — розділу математики, що вивчає мережі вузлів (вершин), з'єднаних лініями (ребрами). Вона стверджує, що кожен граф без мостів містить набір циклів, де кожне ребро зустрічається рівно двічі.
Проблема залишалася відкритою понад 50 років. Її незалежно сформулювали такі математичні титани, як Вільям Татт, Ітай і Роде, Секереш та Сеймур. Часткові результати існували, але повне доведення уникало всіх — до появи GPT-5.6 Sol Ultra.
GPT-5.6 Sol Ultra: Модель, що створила прорив
Модель створила доведення за допомогою мультиагентної архітектури v2 OpenAI — системи, яка координує до 64 паралельних агентів, кожен з яких одночасно досліджує різні підходи. Ключові стратегічні елементи включали: вимогу різноманітності (агентам заборонялося знати про підходи інших), реєстр сімейств підходів, змагальну перевірку та мінімальний час роботи не менше 8 годин.
Аналіз доведення: 3 сторінки, які змінили 50 років
Доведення займає лише 3 сторінки — вражаюче компактно для проблеми, яка чекала на розв'язання пів століття. Воно використовує алгебраїчний підхід, побудований на кількох елегантних редукціях. Ключова інновація полягає в тому, як GPT-5.6 перетворює маркування ребер на маркування двоелементними підмножинами Γ = F₃².
Висновок: Поворотний момент для наукового ШІ
Це доведення є поворотним моментом в еволюції штучного інтелекту. Вперше ШІ автономно розв'язав загальновизнану відкриту математичну проблему, створивши доведення, яке є не лише правильним, але й елегантним. Якщо GPT-5.6 Sol Ultra досяг цього за один день, питання не в тому, чи трансформує ШІ математичні дослідження, а в тому, як швидко.