OpenAI заявила про розв’язання однієї з найскладніших задач математики

OpenAI заявила про серйозне досягнення у математиці. Один із нових ШІ компанії нібито розв’язав проблему існування та гладкості розв’язків рівнянь Нав’є – Стокса. Це одна із семи задач тисячоліття, за розв’язання якої передбачена премія у $1 млн. Рівняння Нав’є – Стокса описують рух рідин і газів та використовуються у багатьох сферах науки.

Головне питання полягає в тому, чи можуть гладкі розв’язки цих рівнянь залишатися такими завжди. Математики намагаються з’ясувати, чи можуть у певний момент виникати особливості, за яких деякі параметри стають нескінченними. OpenAI стверджує, що її модель знайшла сценарій, у якому така особливість виникає за кінцевий проміжок часу.

Для роботи над завданням OpenAI використала до 10 тисяч ШІ-агентів. Вони працювали близько 88 годин, обмінялися 2,7 млн повідомлень і створили приблизно 130 млрд токенів. Після цього отриманий результат перевірив інший ШІ, який формалізував доказ і перевірив його окремі етапи.

Втім, поки рано говорити про остаточне розв’язання задачі. OpenAI опублікувала 165-сторінковий доказ, який тепер мають незалежно перевірити математики. Якщо вони підтвердять його правильність, це стане лише другим розв’язаним завданням із семи задач тисячоліття. Першою стала гіпотеза Пуанкаре, яку довів Григорій Перельман.

OpenAI також заявила, що не претендуватиме на премію в $1 млн. Для компанії цей результат насамперед демонструє можливості сучасного штучного інтелекту у складних математичних дослідженнях. Водночас остаточний вердикт щодо доказу залишається за математичною спільнотою.

Источник: itechua.com