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