Понад 700 ШІ-рукописів OpenAI викликали дискусію серед математиків

Компанія OpenAI на початку жовтня опублікувала у відкритому онлайн-репозиторії понад 700 математичних рукописів, згенерованих штучним інтелектом. Якщо наведені в них міркування підтвердяться після перевірки, вони можуть містити значний обсяг нових математичних знань, пише Nature.

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

Проблеми з перевіркою робіт

Емеритована професорка Математичного інституту Оксфордського університету Урсула Мартін зазначила, що багато з оприлюднених препринтів написано недбало й ускладнено для розуміння. Внутрішній устрій закритих моделей OpenAI невідомий, а серед авторів матеріалів немає людини, яка могла б відповідати за пояснення або виправлення виявлених помилок.

За її оцінкою, математикам доведеться витратити значний час на перевірку текстів і їхнє редагування до професійного формату, придатного для оцінювання рецензентами. Попри можливу цінність математичних результатів, чимало науковців не хочуть займатися такою роботою.

Правила використання ШІ

Мартін є однією з авторок Лейденської декларації про штучний інтелект і математику, оприлюдненої в червні. Документ не заперечує використання ШІ, але пропонує практичні запобіжники: чіткі правила цитування, точне розкриття способів застосування ШІ та збереження вимоги, щоб усі аргументи в математичному доведенні можна було незалежно перевірити й щоб за них міг відповідати автор-людина.

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