Вътрешен модел на OpenAI реши над 100 дългогодишни математически проблема

Изображение: Svetni.me / Авторско изображение

Американската лаборатория OpenAI обяви, че неин нов вътрешен модел за логическо разсъждение е намерил решения на над 100 нерешени дългогодишни проблема в почти всички области на съвременната математика. Постижението идва след публикуваното по-рано решение на уравнението на Навие-Стокс – една от Задачите на хилядолетието, както и след съобщения за напредък по хипотезата на Ходж [1].

Обучението на специализираната система е стартирало на 28 август 2026 г., което означава, че целият изчислителен цикъл е отнел едва около месец. Дори вътрешните изследователи на компанията са изразили изненада от скоростта, с която новите гранични модели се справят със сложни формални доказателства [1, 2].

Изображение: Svetni.me / ИИ генерирана инфографика

Консултативен борд към Института за напреднали изследвания

В отговор на нарастващото напрежение сред академичните среди OpenAI подкрепи създаването на независима консултативна група към престижния Институт за напреднали изследвания (IAS) в Принстън. Структурата, наречена Консултативна група по математика и изкуствен интелект, има за цел да служи като мост между технологичната индустрия и научната общност [2].

Инициативата включва деветима изтъкнати учени, сред които носителят на Фийлдсов медал Тимъти Гауърс и Камило Де Лелис от IAS. Членовете на групата не получават възнаграждение, сами определят състава си и разполагат с пълна свобода да изразяват публично позициите си относно публикуването и верификацията на резултатите [1].

Критики и спорът за темпото на изследванията

Повод за реакцията на академичната общност стана отворено писмо, подписано от 25 носители на Фийлдсов медал, които предупреждават, че състезанието между лабораториите заплашва да сведе науката до механично решаване на задачи, пренебрегвайки концептуалното разбиране. Според тях генерирането на автоматизирани доказателства без дълбока теоретична обосновка подкопава смисъла на математическите открития [1].

Въпреки създаването на новия борд, OpenAI изрично уточни, че групата няма да има правомощия да влияе върху скоростта на разработките или да налага забавяне на изследователския процес. От Института за напреднали изследвания също подчертаха в официално съобщение, че органът действа единствено с препоръчителни функции, а цялата отговорност за решенията остава изцяло в ръцете на компанията [2].

Променящата се роля на математиците

Тимъти Гауърс, който реши да не подписва отвореното писмо въпреки съгласието си с част от аргументите, отбеляза, че подобни системи за машинно обучение ще станат публично достъпни съвсем скоро. Според него най-същественият риск е свързан с мотивацията на бъдещите учени и финансирането на фундаменталната наука, ако институциите сметнат човешкия експертен труд за излишен [1].

Научната общност е изправена пред неотложната задача да преосмисли стойността на човешката математическа експертиза в епоха, в която формулирането и верификацията на теореми се поемат от автономни алгоритми [1].

Източници:

[1]: OpenAI says its internal model solved over 100 long-standing math problems after just a month of training - The Decoder
[2]: OpenAI forms math advisory group as its AI resolves more than 100 open problems - TechCrunch