Модель OpenAI може бути причетна до розв’язання математичної задачі, що опиралася дослідникам десятиліттями.
Тридіапазитна робота, розміщена на офіційному CDN OpenAI, заявляє про доказ гіпотези про подвійне циклічне покриття — давньої відкритої задачі в теорії графів. У препринті йдеться, що доказ повністю згенерувала модель GPT-5.6 Sol Ultra, а Codex і GPT-5.6 Sol допомагали оформити матеріал у вигляді наукової статті.
Це надзвичайно амбітна заява. Якщо незалежні математики підтвердять доказ, це стане свідченням того, що передові ІІ-системи здатні не лише переказувати вже відомі результати чи допомагати в обчисленнях. Вони можуть генерувати оригінальні математичні ідеї, достатньо сильні, щоб закривати задачі, з якими люди боролися роками.
Поки що, однак, ідеться лише про заявлений доказ, а не про визнаний прорив.
Що саме, ймовірно, розв’язав ШІ?
Теорія графів — це розділ математики, що вивчає мережі.
Граф можна уявити як набір точок, з’єднаних лініями. Точки можуть відповідати людям, комп’ютерам, містам чи будь-яким іншим об’єктам, а лінії — зв’язкам чи відносинам між ними.
Гіпотеза про подвійне циклічне покриття запитує, чи можна будь-яку зв’язну мережу без «критичної» єдиної точки відмови покрити набором циклів так, щоб кожне ребро з’являлося рівно двічі.
Це звучить абстрактно, але проблема залишається відкритою десятиліттями та пов’язана з роботами провідних математиків, зокрема Вільяма Татта, Дьордя Секереша та Пола Сеймура.
Дослідники вже довели аналогічні твердження для окремих класів графів, але не для загального випадку.
Новий препринт, розміщений OpenAI, стверджує, що заповнює цю прогалину.
Основна ідея запропонованого доказу
Аргументація в статті надзвичайно технічна, але загальну стратегію описати простіше.
Спершу задача зводиться до простішого класу мереж, у яких у кожної вершини рівно три інцидентні ребра.
Далі модель застосовує відомий інструмент — так званий «потік» — щоб призначити мітки ребрам графа. Потім ці мітки переструктуровують так, щоб ребра природним чином об’єднувалися в цикли.
Ключова вимога — кожне ребро має входити рівно до двох таких циклів.
Залишкову «невідповідність» між різними частинами мережі, за словами авторів препринта, вдається усунути засобами лінійної алгебри. Коли питання узгодженості розв’язано, отримується повне циклічне покриття.
Спрощено кажучи, ШІ начебто взяв кілька відомих математичних інструментів, поєднав їх у новий спосіб і використав для побудови потрібної системи циклів для кожної допустимої мережі.
Чому це може бути важливим для ІІ
Системи штучного інтелекту вже широко застосовуються для написання коду, аналізу ринків, підготовки аналітичних оглядів і підтримки наукових досліджень.
Проте доведення великої математичної гіпотези — завдання іншого порядку.
Коректний доказ має працювати в усіх випадках, які охоплює теорема. Недостатньо виглядати переконливо чи давати правильні відповіді на обмеженій кількості прикладів.
Також читайте: Очікується, що квартальний прибуток Anthropic перевищить $1 млрд напередодні IPO
Математика робить одну з найчистіших перевірок того, чи здатна ІІ-система надійно міркувати, а не лише генерувати правдоподібний текст.
Якщо доказ виявиться правильним, це означатиме, що моделі переднього краю навчилися поєднувати відомі факти у справді нові аргументи.
Наслідки виходитимуть далеко за межі теорії графів. Подібні системи з часом можуть допомагати вченим у дослідженні складних питань фізики, криптографії, інформатики та економіки.
Справжнє випробування починається зараз
Те, що препринт розміщений на домені під контролем OpenAI, додає документу ваги порівняно з анонімними завантаженнями. Але це аж ніяк не гарантує коректності доказу.
У рукописі немає жодного вказаного людського автора, відсутні відомості про проходження рецензії та коментарі незалежних спеціалістів із теорії графів.
Це важливо, адже відомі математичні проблеми регулярно стають мішенню «рішень», у яких згодом знаходять приховані прогалини.
Доказ може виглядати охайно на перший погляд, але провалюватися через крок, де бездоказово припускається щось нетипове, ігнорується особливий випадок або надто широко застосовується вже відома теорема.
Наступний етап — незалежна перевірка.
Математикам доведеться детально пройти всі зведення та переконатися, що лінійно-алгебричний аргумент працює для всіх безмостових графів, які охоплює гіпотеза.
Дослідники також можуть спробувати формалізувати доказ у системі автоматичної перевірки доведень, де кожен логічний крок підтверджується програмно.
Заявлений прорив, а не встановлений факт
Найобережніша формула на сьогодні — модель OpenAI нібито згенерувала потенційно важливий доказ, який усе ще потребує зовнішньої валідації.
Якщо експерти знайдуть помилку, стаття може виявитися корисною все одно — як джерело нового підходу чи вдалих зведень задачі.
Якщо ж доказ витримає ретельну перевірку, масштаб наслідків буде значно більшим.
Це означатиме, що ІІ-система не просто допомагала математикам, а фактично самостійно розв’язала проблему, яка залишалася відкритою поколіннями.
Отже, наразі ще не можна стверджувати, що ШІ остаточно розв’язав гіпотезу про подвійне циклічне покриття.
Коректніше сказати, що ШІ, можливо, це зробив — і тепер математична спільнота має з’ясувати, чи справді модель приготувала витончений розв’язок, чи лише створила одну з найпереконливіших на вигляд помилок.
Читайте далі: Китай веде переговори з Alibaba та ByteDance щодо обмеження експорту ІІ-моделей