OpenAI опублікувала 722 математичні роботи, створені невипущеною моделлю

Нещодавно OpenAI виклала на GitHub добірку математичних результатів, створених її невипущеною моделлю штучного інтелекту. Колекція включає 722 рукописи, згруповані у 372 блоки, що охоплюють різні напрямки математики та теоретичної інформатики. Це не окремі завершені теореми, а сукупність матеріалів, отриманих в процесі роботи моделі над тисячами дослідницьких задач. Модель, яку OpenAI називає внутрішньою «frontier-моделлю», використовувалася для пошуку розв'язків відкритих математичних проблем.

Разом із рукописами, компанія надала допоміжні матеріали для їхньої перевірки, зокрема формалізовані докази та дані про використані обчислювальні ресурси. За оцінками, генерація одного результату в середньому вимагала обсягу обчислень, еквівалентного приблизно трьом годинам роботи ChatGPT Pro в режимі «Thinking». Важливо зазначити, що OpenAI підкреслює: не всі опубліковані результати пройшли однаковий рівень верифікації, і деякі з них можуть містити помилки, які обіцяють виправляти.

Однією з ключових особливостей публікації є включення формалізованих доказів у Lean — мові програмування та системі формальної перевірки, що дозволяє комп'ютеру верифікувати математичні твердження. Це критично важливо для AI-генерованих робіт, оскільки дозволяє перевіряти математичну коректність незалежно від переконливості тексту, створеного штучним інтелектом. Додавання таких формалізацій дає можливість дослідникам не лише ознайомитися з результатами, а й перевірити їх за допомогою строгих методів.

Поява таких систем суттєво змінює роль штучного інтелекту в математиці. Раніше AI переважно використовувався як допоміжний інструмент для обчислень чи перевірки, тоді як тепер він безпосередньо працює з відкритими дослідницькими проблемами. Це потенційно прискорює науковий прогрес, дозволяючи AI опрацьовувати величезні масиви даних, шукати нетривіальні зв'язки та пропонувати нові докази. Однак це також ставить перед людством виклик щодо верифікації та осмислення зростаючого обсягу AI-генерованих результатів.

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

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