2604
OpenAI заявила, що її система штучного інтелекту знайшла розв’язання однієї з найвідоміших нерозв’язаних задач сучасної математики — проблеми, пов’язаної з рівняннями Нав’є—Стокса, які описують поведінку потоків рідин і газів. Робота була формалізована у мові Lean, яку використовують для машинної перевірки математичних доказів.
Рівняння Нав’є—Стокса входять до списку задач тисячоліття Інституту Клея, за кожну з яких передбачена премія $1 млн. За словами математика та дослідника OpenAI Себастьяна Бюбека, компанія почала тренувати нову модель із посиленими математичними можливостями 28 серпня.
Після появи інформації про прогрес дослідників, пов’язаних з Anthropic, OpenAI вирішила виділити на задачу більше обчислювальних ресурсів. Понад тисяча ШІ-агентів працювали над проблемою більше 50 годин, після чого система отримала результат і формалізувала його у Lean.
Керівник дослідницького напряму OpenAI Марк Чен заявив, що обсяг обчислень був значно більшим, ніж у попередніх математичних експериментах компанії. За його словами, витрати на обчислювальні ресурси становили мільйони доларів.
Однак оголошення швидко стало предметом суперечки. Математик Нью-Йоркського університету Трістан Бакмастер і дослідник Anthropic Левент Альпьоге заявили про власний прогрес у пов’язаному напрямі. Вони також використовували різні ШІ-моделі, включно з Claude та Codex.
Бакмастер стверджує, що OpenAI дізналася про їхню роботу до публікації результатів і після цього різко збільшила ресурси, спрямовані на ту саму проблему. Він також заявив, що компанія обговорювала варіанти публікації, які викликали суперечки щодо того, кому має належати авторство.
OpenAI заперечує, що її співробітники або ШІ-агенти використовували приватні промпти чи докази дослідників для отримання власного результату. Компанія водночас визнала, що теоретично не може повністю виключити можливість того, що знеособлені дані від використання її продуктів раніше вплинули на покращення моделей.
Представники OpenAI також наголосили, що визнають пріоритет роботи Бакмастера та Альпьоге в окремому напрямі, пов’язаному з рівняннями Ейлера, і що їхній підхід суттєво відрізняється від результату моделі OpenAI. Суперечка щодо наукового пріоритету та авторства після цього залишилася відкритою.
https://www.wired.com/story/openai-navier-stokes-math-discovery-academics/
