Компанія OpenAI минулого тижня оголосила про десять нових досягнень у математиці та інформатиці, отриманих за допомогою ще не випущеної моделі Astra. Ці результати охоплюють різні напрямки, зокрема геометрію, криптографію та теорію кодування, повідомляє Phys.
Досягнення стали черговим кроком у довгому переліку математичних відкриттів за участю генеративного штучного інтелекту. OpenAI також опублікувала заяву про відповідальність перед математичною спільнотою, визнавши низку проблем, пов’язаних із використанням ШІ у наукових дослідженнях. Зокрема, йдеться про питання авторства, відповідальності за достовірність результатів і зміну самого процесу математичного відкриття.
Найважливішим є те, що ШІ вже не лише швидко виконує обчислення, а й допомагає знаходити докази, будувати нові приклади та формулювати дослідницькі питання. Це ставить перед математиками низку складних питань, на які поки немає однозначних відповідей.
Великі мовні моделі, такі як ChatGPT і Claude, поступово впливають на всі сфери математичної діяльності. Університети розробляють етичні норми для використання ШІ у навчанні та дослідженнях. Редакції наукових журналів стикаються з ростом кількості статей, створених за допомогою ШІ, і шукають способи перевірки таких робіт та вимоги щодо розкриття використання технології.
Репозиторій arXiv за останні місяці зафіксував різке збільшення математичних препринтів із використанням ШІ. Організації, що розподіляють наукове фінансування, також починають формувати політики щодо застосування генеративного ШІ під час підготовки заявок і оцінювання проєктів.
Питання авторства відкриття, якщо значну частину роботи виконав ШІ, залишається відкритим. Також обговорюють, що саме залишається унікально людським у математичній творчості та яку мету має математика – створення нових теорем чи глибше розуміння їх правильності.
У математичній спільноті немає єдиної позиції щодо ролі ШІ. Деякі дослідники висловлюють занепокоєння, називаючи стрімкий розвиток математики за допомогою ШІ «глибокою духовною кризою». Інші шукають правила відповідального використання технології. Прикладом стала Leiden Declaration, підписана тисячами математиків, яка закликає доповнювати людську творчість ШІ, а не замінювати її, наголошуючи на прозорості, відповідальності та правильному зазначенні авторства.
Відомий математик Терренс Тао під час Міжнародного конгресу математиків звернув увагу на необхідність інтеграції ШІ в наукову роботу так, щоб посилювати культуру та цінності математики. Він наголосив, що питання не в тому, чи варто дозволяти ШІ брати участь, а як зробити це правильно, зберігаючи людську роль у створенні знань.
Приклади реальних досліджень ілюструють різні підходи. У першому випадку Саул Фрідман свідомо відмовився від використання ШІ через етичні міркування, а двоє інших математиків безуспішно намагалися розв’язати ту саму задачу з допомогою великих мовних моделей.
Інший випадок показує, як ШІ став незамінним інструментом. Алуні Ріццолі застосував модель OpenAI разом із суперкомп’ютерним кластером і за 43 години знайшов математичний об’єкт, пошуками якого дослідники займалися понад два роки. Після відкриття Ріццолі запропонував спільну публікацію з колегами, зберігаючи традиції наукової співпраці.
Обидва підходи привели до важливих результатів, але демонструють різне ставлення до ШІ. Математики поки не виробили єдину модель використання технології, а продовжують експериментувати, визначаючи її роль у дослідницькому процесі.
Дискусія змістилася від питання, чи здатні великі мовні моделі робити внесок у математику, до того, як застосовувати їх так, щоб не втратити фундаментальні принципи науки: співпрацю, прозорість, відповідальність і інтелектуальну доброчесність. Штучний інтелект уже став частиною математичної науки, а наступним кроком є вироблення правил спільної роботи людей і машин над новими знаннями.