OpenAI заявила про знайдене за допомогою штучного інтелекту розв’язання проблеми, пов’язаної з рівняннями Нав’є — Стокса. Як повідомляє WIRED, оголошення супроводжується суперечкою з математиками Трістаном Бакмастером і Левентом Альпьоге щодо використання їхньої роботи.
Як OpenAI працювала над математичним доведенням
Рівняння Нав’є — Стокса описують поведінку рідин і газів, зокрема води та повітря. Пов’язана з ними математична проблема входить до переліку задач тисячоліття Інституту Клея, за розв’язання кожної з яких передбачено $1 млн.
Себастьян Бюбек, математик і дослідник ШІ в OpenAI, повідомив, що 28 серпня компанія почала навчати нову модель із розширеними математичними можливостями. Після чуток про прогрес Anthropic у цій сфері OpenAI вирішила спрямувати на задачу більше ресурсів.
За словами Бюбека, понад 1000 ШІ-агентів працювали над проблемою більш ніж 50 годин. Згодом кількість залучених агентів сягнула 10 тисяч, перш ніж компанія отримала результат.
«Я думав, що десь має бути помилка. І в неділю вранці ми мали остаточне розв’язання, формалізоване в Lean», — сказав Себастьян Бюбек, математик і дослідник ШІ в OpenAI.
Lean — мова програмування, яку можна використовувати для формалізації математичних доведень. Такий підхід дозволяє перевіряти логічну коректність формальних кроків доведення.
OpenAI зазначила, що робота потребувала значно більше обчислювальних ресурсів, ніж попередні математичні задачі компанії. Марк Чен, керівник досліджень OpenAI, оцінив витрати на обчислення в мільйони доларів.
Суперечка щодо першості та використання даних
У понеділок Трістан Бакмастер, математик Нью-Йоркського університету, та Левент Альпьоге, дослідник Anthropic, опублікували документи про ключові досягнення в суміжній математичній проблемі. За їхніми словами, вони використовували кілька ШІ-моделей, зокрема Claude і Codex.
Бакмастер заявив, що попереднього тижня дізнався про обізнаність OpenAI щодо їхньої роботи та значне збільшення ресурсів компанії для дослідження. Він також стверджує, що запитував керівництво OpenAI про можливий доступ до журналів використання Codex.
За словами Бакмастера, йому відповіли, що модель не переглядала дані користувачів. Водночас, як він стверджує, компанія не відповіла на запитання щодо використання даних для навчання.
Математик також заявив, що OpenAI запропонувала кілька варіантів публікації результатів. Один із них, за його словами, передбачав статтю про розв’язання проблеми внутрішньою моделлю OpenAI без зазначення імені Альпьоге.
Бюбек заперечив твердження про пропозицію прибрати ім’я Альпьоге. Генеральний директор OpenAI Сем Альтман також публічно захистив роботу команди.
Під час брифінгу керівники OpenAI заперечили, що компанія переглядала запити двох математиків у Codex для спрямування власного дослідження. Водночас у блозі компанія визнала, що не може повністю виключити вплив знеособлених даних користування на покращення моделей.
«Ми, чи то дослідники, чи агенти, не бачили жодної їхньої роботи, доки її не оприлюднили минулого вечора», — сказав Себастьян Бюбек, математик і дослідник ШІ в OpenAI.
Що відомо про результати та їхню перевірку
OpenAI визнає пріоритет Альпьоге та Бакмастера в роботі над рівняннями Ейлера без зовнішніх сил. Бюбек наголосив, що компанія не використовувала їхні запити чи доведення для спрямування власних моделей.
Вен Чандрасекарян, математик OpenAI, також зазначив, що розв’язання компанії суттєво відрізняється за характером від результату двох дослідників.
