Лише через день після того, як OpenAI зробив свою найпотужнішу модель загальнодоступною, компанія каже, що система підготувала повний доказ гіпотези подвійного покриття циклу — відомої відкритої проблеми в теорії графів, яка протистояла математикам приблизно півстоліття.
Дослідник OpenAI Ітан Найт оголосив про результати 10 липня 2026 року, опублікувавши, що GPT-5.6 Sol Ultra «підтвердив 50-річну гіпотезу подвійного покриття циклу, використовуючи 64 субагенти менше ніж за годину». Твердження швидко піднялося на вершину Hacker News, викликавши сотні коментарів від математиків та інженерів, які обговорювали, чи підтверджується доказ.
Для всіх, хто стежить за останніми розробками штучного інтелекту, результат — яскрава демонстрація того, куди рухаються передові моделі — і нагадування, що їхні математичні твердження все ще потрібно перевіряти старомодним способом.
Що таке гіпотеза подвійного покриття циклу?
Гіпотеза лежить у розділі математики, який називається теорією графів. Простими словами, він ставить оманливо просте запитання: чи можуть ребра будь-якого «графа без мостів» — графа без ребер, видалення якого розбило б його на частини — завжди покриватися набором циклів, щоб кожне окреме ребро з’являлося рівно двічі?
Ця проблема була поставлена незалежно кількома математиками протягом багатьох років, у тому числі Полом Сеймуром у 1979 році та Джорджем Секерешом у 1973 році, з більш ранніми коренями в роботах В. Т. Тутте та Алона Ітаї та Майкла Роде. Незважаючи на свою просту постановку, вона стала однією з найвідоміших невирішених проблем у галузі, а часткові результати були відомі лише для спеціальних класів графів.
Згідно з опублікованою приміткою про докази OpenAI, аргумент зводить проблему до кубічних графів без петель, а потім спирається на класичний результат — теорему потоку ніде нуля над групою F32 (еквівалентна теоремі Тутте про 8 потоків) — і ключовий крок лінійної алгебри, який перетворює маркування ребер у структуру, необхідну для подвійного покриття циклу. Опис займає лише кілька сторінок і, зокрема, не використовує «математичні методи, розроблені протягом останніх 30 років», як зауважив один коментатор Hacker News.
Як GPT-5.6 Sol Ultra наблизився до цього
Що відрізняє цей результат від звичайних відповідей чат-бота, так це те, як була розгорнута модель. GPT-5.6 Sol Ultra працював у багатоагентному режимі OpenAI v2, створюючи систему до 64 взаємодіючих субагентів, які паралельно досліджували різні стратегії доказів. OpenAI опублікував повну підказку разом із доказом, пропонуючи рідкісний погляд на інструкції, надані системі.
Підказка вказувала моделі «використовувати мультиагент v2 агресивно та динамічно», підтримувати «різноманітний портфель підходів» і розгортати суперницькі агенти для перевірки будь-якого доказу кандидата на типові підводні камені — такі як закриті сліди, що маскуються під цикли, або випадкові циклічні міркування. Він навіть сказав системі «витратити на це принаймні 8 годин, перш ніж навіть думати про повернення чи здавання», хоча, як повідомляється, фінальний запуск завершився менше ніж за годину.
У розділі «Заява про використання штучного інтелекту» OpenAI чітко вказує: «Доказ у цій примітці повністю пов’язаний із GPT 5.6 Sol Ultra та записом із Codex (з GPT 5.6 Sol)».
Ще не всі переконані
Математична спільнота відреагувала з поєднанням хвилювання та обережності — і цей скептицизм цілком доречний. На момент публікації доказ не було офіційно перевірено в асистенті доказів, такому як Lean, і не пройшло традиційної експертної перевірки.
У Hacker News кілька коментаторів відзначили, що короткі, елегантні докази відомих припущень заслуговують на особливо ретельний аналіз. «Це дуже короткий доказ, який не використовує математику, розроблену протягом останніх 30 років», — написав один користувач. «Це не обов’язково робить це неправильним, але через відсутність механізації в Lean або належної експертної оцінки, я вважаю, що передчасно публікувати це».
Інші зауважили, що провідні бібліотеки формальних доказів теорії графів ще недостатньо зрілі для перевірки результатів на рівні досліджень такого роду, тобто перевірка може здійснюватися експертами-людьми, які читають аргумент рядок за рядком. Сам OpenAI сформулював це оголошення як частину ширшої схеми: «Більше обчислень під час тестування веде до більшого інтелекту», — заявили в компанії, сигналізуючи, що реальна історія, яку вона хоче розповісти, — це мультиагентний підхід, а не цей єдиний результат.
Чому це важливо
Навіть якщо доведення Cycle Double Cover зрештою потребує виправлення, цей епізод сигналізує про значну зміну того, що великі мовні моделі можуть зробити в чистій математиці. Передові системи штучного інтелекту раніше створювали нові результати досліджень у спеціалізованих сферах, включаючи інші нещодавні заяви про розв’язання проблем у геометрії та комбінаториці, але атака на названу гіпотезу десятиліттями за допомогою скоординованої групи логічних агентів значно піднімає планку.
Для дослідників висновок подвійний. По-перше, багатоагентний рецепт — багато незалежних спроб, перехресне запилення ідей і змагальний аудит — видається справді корисним шаблоном для складного вирішення проблем. По-друге, вузьке місце верифікації тепер лежить безпосередньо на людях: модель може генерувати докази кандидатів швидше, ніж спільнота може їх перевіряти.
Ця напруга, ймовірно, визначить наступний етап математики за допомогою ШІ. Як сказав один коментатор, якщо цей доказ витримає, «хтось збирається почати список» інших давніх проблем, які будуть викинуті на наступне покоління моделей.
Поки що математики уважно читатимуть тристорінкову замітку з олівцем у руках, а решта індустрії штучного інтелекту спостерігатиме, чи стане годинна робота GPT-5.6 частиною постійного математичного запису.
Будьте попереду ШІ
Щоб отримати докладнішу інформацію про передові моделі моделювання та дослідження ШІ, відвідайте [домашню сторінку AI Buzz Wire] (https://aibuzzwire.news).
Читати більше новин AI →---
Stay Ahead of AIGet the latest AI news, analysis, and breakthroughs — all in one place.
Read more AI news →
