Математики розкритикували публікацію OpenAI 722 рукописів із доведеннями
Математики критикують публікацію OpenAI 722 рукописів через помилки, складність перевірки результатів і ризики для наукової співпраці
OpenAI оприлюднила 722 рукописи з результатами та доведеннями математичних задач, частина яких десятиліттями залишалася складною для дослідників. Водночас математична спільнота висловила занепокоєння якістю цих матеріалів, можливістю їхньої перевірки та впливом таких публікацій на співпрацю між науковцями, повідомляє BBC News.
Перевірка результатів
Зі 722 оприлюднених рукописів лише близько 300 результатів були формалізовані — тобто переведені у формат, який можна перевіряти комп’ютерними засобами. Дослідники, з якими спілкувалося видання The Verge, виявили в окремих звітах беззмістовні пояснення, некоректні формули та результати, які вже були отримані іншими науковцями.
OpenAI не назвала внутрішню модель, що створила ці матеріали, і не розкрила запити, використані для їхнього генерування. Такі розкриття рекомендувала Advisory Group on Mathematicians and Artificial Intelligence. Компанія публікувала оновлення до GitHub-репозиторію з результатами, але в матеріалах уже були виправлення та відкликання.
Побоювання науковців
Професор математики Нью-Йоркського університету Трістан Бакмастер заявив Business Insider, що публікація могла зруйнувати цілі дослідницькі програми науковців на початку кар’єри. За його словами, частина дослідників також непокоїться, що використання інструментів штучного інтелекту могло ненавмисно посприяти появі цих результатів.
Професорка Північно-Західного університету Брайна Кра застерегла, що математики можуть стати менш відкритими у поширенні ідей, даних і формул. Професор Каліфорнійського університету Теренс Тао написав у Mastodon, що ці результати породжують значно менше семінарів, воркшопів і співпраці, ніж традиційні наукові прориви, та запропонував оцінювати математичний прогрес ширше, зважаючи на розвиток спільноти, а не лише на готові розв’язання.
Дискусія про криптографію
Окремо в матеріалі згадано дискусію про потенційний вплив розвитку математичних можливостей ШІ на криптографію. Доцент Університету Джонса Гопкінса Метью Грін припустив, що поєднання прогресу в математиці та кібербезпеці зрештою може поставити під загрозу сучасне шифрування. Криптограф Адам Бек заперечив, що такі висновки є обґрунтованими, а співзасновник Ethereum Віталік Бутерін закликав не панікувати щодо безпеки криптогаманців.
