OpenAI оприлюднила понад 370 математичних результатів, викликавши занепокоєння експертів

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

Минулого місяця компанія також заявила про розв’язання рівняння Нав’є—Стокса — однієї з найскладніших математичних задач, за розв’язання якої передбачено винагороду $1 млн.

Експерти вимагають перевірюваності

Інститут перспективних досліджень у Принстоні заявив, що не підтримує перевірку найскладніших математичних задач за допомогою закритих моделей, недоступних широкій спільноті математиків. В установі наголосили, що людина може не зрозуміти, не перевірити й не взяти на себе відповідальність за аргументи, створені ШІ.

Математик Нью-Йоркського університету Трістан Бакмастер сказав The New York Times, що дослідники, які дають моделям підказки для розв’язання рівнянь, могли допомогти системам отримати результат. За його словами, в окремих випадках моделі могли завершувати роботу, започатковану іншими математиками.

OpenAI працюватиме з інститутом

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

Консультативна рада також закликала лабораторії ШІ забезпечити «рівний доступ» до моделей для математичної спільноти в усьому світі. На її думку, використання внутрішніх закритих моделей може створити дворівневу систему, у якій лабораторії випереджатимуть решту галузі.