Що сталося
OpenAI заявила, що її флагманська модель GPT-5.6 Sol Ultra менш ніж за годину згенерувала повне доведення гіпотези подвійного покриття циклами (Cycle Double Cover Conjecture) — відкритої проблеми теорії графів, яку математики не могли розв’язати близько 50 років. PDF із доведенням компанія опублікувала на своєму CDN 10 липня, наступного дня після того, як Sol Ultra стала доступна всім користувачам (9 липня). Результат анонсував співробітник OpenAI Ethan Knight, наголосивши, що текст доведення повністю згенеровано моделлю.
Деталі
Гіпотезу незалежно висунули математики Джордж Секереш (1973) та Пол Сеймур (1979): вона стверджує, що в будь-якому графі без мостів (ребер, розрив яких роз’єднує граф) знайдеться набір циклів, що покривають кожне ребро рівно двічі.
За словами OpenAI, для розв’язання запустили 64 субагенти паралельно: промпт спрямував їх до різних конкурентних підходів, взаємних перевірок і відбраковування часткових доведень. Підсумковий текст зайняв близько трьох сторінок і, як зазначають спостерігачі, спирається на інструментарій теорії графів рубежу 1970–1980-х — зокрема, на працю Бермона, Джексона й Джагера 1983 року.
Математик Thomas Bloom (Манчестерський університет) прокоментував результат у X: назвав доведення «дуже гарним», коротким і «на диво елементарним» — за його словами, його могли знайти ще в 1980-х. Водночас Bloom розкритикував текст за відсутність коректних посилань на літературу: доведення використовує ідеї та стратегію з праці 1983 року, але не цитує її. «Це часта проблема з ШІ-згенерованими доведеннями: вони беруть ідеї та стратегії з літератури без належного цитування», — зауважив він.
Незалежної перевірки (peer review) доведення поки не проходило. Сама OpenAI формулює результат обережно — як те, що модель «за наявними даними» (reportedly) розв’язала цю проблему, а не як остаточно підтверджений факт.
Що це означає
Поки це заява компанії, а не підтверджений математичний результат: текст не пройшов рецензування математичною спільнотою, а критика Bloom щодо відсутніх посилань стосується саме прозорості походження доведення — важливої речі для перевірюваності, а не дрібниці в оформленні.
Дослідникам і практикам ШІ сюжет цікавий саме методом, а не самою гіпотезою (вона нішева і не має прикладного значення для звичайного користувача): зв’язка з 64 паралельних агентів із взаємним аудитом і відбраковуванням слабких гілок знайшла робочу стратегію доведення за годину. Такий патерн — багато агентів, конкурентні підходи, жорстка перевірка одне одного — потенційно корисний і в інших завданнях, де потрібно перебрати багато гіпотез і відсіяти хибні.
Користувачам reasoning-моделей та агентних систем це радше орієнтир, ніж привід для висновків: паралельні субагенти з взаємною перевіркою — робочий інженерний прийом, але швидкість генерації не замінює незалежну верифікацію результату. Перш ніж довіряти гучним заявам про ШІ-математику, варто дочекатися реакції профільної спільноти.
Горизонт: підтвердження чи спростування — питання найближчих тижнів або місяців, поки математики розбирають доведення й звіряють його кроки з першоджерелами. Якщо воно встоїть після рецензування — це помітний прецедент застосування ШІ у фундаментальній науці; якщо ні — черговий доказ того, що швидкість доведення не гарантує його коректність.
Контекст
GPT-5.6 (лінійка Sol, Terra, Luna) OpenAI відкрила для всіх користувачів 9–10 липня; Sol Ultra — старша версія лінійки, розрахована на найскладніші агентні завдання. Компанія й раніше публічно повідомляла про результати моделей за іншими відкритими математичними проблемами — і цього разу теж знайшовся незалежний коментатор, який розібрав доведення по суті, а не просто переказав пресреліз.
