OpenAI опублікувала понад 700 математичних рукописів із розв’язанням 372 складних завдань, що викликало різку дискусію в науковій спільноті та змусило дослідників переосмислювати майбутнє своєї дисципліни.
Цей крок став продовженням серії гучних заяв компанії, зокрема вересневого вирішення рівнянь Нав’є — Стокса, які належать до переліку задач тисячоліття, за які Інститут математики Клея пропонує премію в один мільйон доларів. Нові файли охоплюють алгебру, теорію чисел, топологію та інші складні напрями.
https://x.com/willdepue/status/2107604920753070317
Масштабна публікація рукописів та три нові відкликання
Менш ніж за добу після релізу компанія відкликала три препринти через виявлені помилки, водночас оновивши ще 14 рукописів. Представник компанії повідомив, що помилки виявили під час внутрішнього аудиту, а приблизно п’ятдесят відсотків результатів були випущені непідтвердженими за рекомендацією Консультативної групи з математики та штучного інтелекту.
Алекс Таунсенд, доцент математики з Корнелльського університету, зазначив, що поява помилок у такому обсязі робіт є очікуваною. Він висловив думку, що компанії варто було спочатку оприлюднити результати, перевірені за допомогою системи Lean, щоб уникнути непорозумінь.
https://x.com/afinetheorem/status/2107658843996000292
Розкол у математичній спільноті через штучний інтелект
Реакція науковців виявилася різко поляризованою. Ден Літт, професор математики з Університету Торонто, порівняв цей перехід із можливостями для людських математиків займатися набагато більш відкритими дослідженнями.
Це неймовірно, що ми тепер можемо робити.
https://x.com/daniel_mac8/status/2107604648328569030
Водночас інші математики висловили глибоке занепокоєння. Група під назвою Асоціація гуманітарної математики опублікувала відкритий заклик до колег через заяву, де зазначається, що математики не просили про виконання цієї роботи, а масовий випуск матеріалів є демонстрацією сили, а не академічною стипендією. Теренс Тао, лауреат медалі Філдса, охарактеризував ситуацію як завершення епохи «Математики 1.0», наголосивши на необхідності переходу до формату «Математики 2.0», де увага приділяється не лише пошуку відповідей. Раніше він разом із іншими лауреатами медалі Філдса підписав заяву про серйозне незміщення цілей індустрії штучного інтелекту з інтересами математики.
Консультативна група та роль незалежного нагляду
Після попередніх суперечок навколо рішень щодо рівнянь Нав’є — Стокса, коли дослідники заявляли про залишення часу без належного оформлення та цитування попередніх робіт, OpenAI сформувала Консультативну групу з питань математики та штучного інтелекту.
https://x.com/danintheory/status/2108065033070789090
Консультативна група своєю чергою підкреслила у своїй заяві, що майбутнє математичних досліджень не може полягати лише в розумінні результатів, створених лабораторіями штучного інтелекту, і що оприлюднення є лише початком процесу людського осмислення.
Компанія також оголосила про намір фінансувати серію воркшопів, конференцій та програм, спрямованих на допомогу математикам у розумінні згенерованих системою результатів.
Водночас критики, такі як професор математики емерит з Массачусетського технологічного інституту Гейнс Міллер, порівняли раптовий натиск згенерованих доказів з окупацією іноземною державою. На його думку, поточна агресивна фаза з часом зменшиться, коли буде вичерпано легкодоступні ресурси.
Тим часом Трістан Бакмастер з Нью-Йоркського університету вказував на неясність щодо того, чи могли самі математики ненавмисно допомогти внутрішній системі штучного інтелекту знайти шлях до розв’язання, оскільки компанія не завжди забезпечує стандарти академічного рівня у своїх написаннях і часто має труднощі з цитуванням попередніх робіт.
https://x.com/weijie444/status/2107602074670404058
Додатково зазначається, що сам потяг компанії до розв’язання задач такого рівня створює негативні зовнішні ефекти для академічного середовища, перетворюючи глибоку наукову дисципліну на звичайне бенчмаркове змагання з обчислювальної потужності.
На тлі цього незалежні спостерігачі та представники інститутів продовжують слідкувати за тим, чи зможуть запропоновані автоматизовані докази пройти суворий та тривалий процес рецензування, який традиційно вимагає місяців або років перевірки людськими експертами.
https://x.com/OpenAI/status/2107596713791767021
Організація «Асоціація гуманітарної математики» наголосила на важливості рівного доступу до потужних дослідницьких інструментів та адекватних обчислювальних ресурсів як запоруки академічної свободи, вбачаючи у діях компанії чергову демонстрацію сили за рахунок закритого використання розробок.
Представники компанії запевнили, що і надалі реагуватимуть на відгуки спільноти, оновлюючи стандарти розкриття наукових досягнень і підтримуючи публічну історію версій кожного випущеного документа з повними блоками для цитування.
https://x.com/emollick/status/2107964764316209326
З огляду на масштаб і швидкість появи таких публікацій, світова математична спільнота продовжує дискусію щодо прийнятності подібних методик та їхнього впливу на сутність математичного доведення загалом.
Подальші кроки розробників покажуть, чи зможуть нові інструменти стати повноцінним помічником, не руйнуючи при цьому фундаментальних засад академічної цілісності та прозорості.
https://x.com/emollick/status/2107609416359117027
Зрештою, хоча технічні можливості сучасних моделей вражають навіть провідних науковців, питання верифікації та етики відкритих даних залишаються ключовими викликами для майбутнього всієї математичної науки.
Ещё по этой теме
