ОПЕНАИ ТВРДИ ДЕКА ЗА 88 ЧАСА ГО РЕШИЛ МАТЕМАТИЧКИОТ ПРОБЛЕМ НАВИЕР-СТОКС

OpenAI тврди дека нивниот нов, сè уште необјавен модел на вештачка интелигенција пронашол решение за еден од најпознатите проблеми во модерната математика за само 88 часа. Околу 10.000 агенти на вештачка интелигенција учествувале во потфатот и размениле милиони пораки, но резултатот сè уште не поминал поширока независна проверка од страна на математичката заедница.

Најавата веднаш беше засенета од спорот околу тоа кога OpenAI почнал да работи на проблемот и дали бил под влијание на необјавена работа од други истражувачи.

Станува збор за проблемот на постоењето и мазноста на решението на равенките Навиер-Стокс, еден од седумте таканаречени Милениумски проблеми, за чие решавање Институтот за математика Клеј понуди награда од еден милион долари.

- Advertisement -

Равенките Навиер-Стокс го опишуваат движењето на флуидите , како што се водата и воздухот, и имаат примена во области кои се движат од дизајн на авиони и прогнозирање на времето до проучување на протокот на крв. Едно од клучните прашања, кое е отворено со децении, е дали мазните почетни услови во тридимензионален флуид можат да доведат до сингуларност во конечно време, односно точката во која математичкото решение престанува да биде мазно и одредени количини стануваат неограничени.

OpenAI тврди дека неговиот систем пронашол аналитички доказ што покажува дека таквата сингуларност може да се развие во конечно време. Компанијата наведува дека доказите ги задоволуваат формулациите C и D од официјалниот опис на Милениумскиот проблем, т.е. варијанти во кои мазна надворешна сила дејствува врз флуидот. Заедно со математичката нотација, објавена е и формализирана верзија на доказот во Lean системот.

Сепак, Институтот за математика Клеј сè уште го наведува проблемот Навиер-Стокс како „нерешен“ на својата официјална веб-страница. OpenAI исто така наведува дека нема намера да бара награда од милион долари, но дека со објавата сака да покаже колку брзо напредувале можностите на неговите модели на вештачка интелигенција.

Проблемот го решавале 10.000 агенти на вештачка интелигенција

На крајот на август, OpenAI започна со обука на нов внатрешен модел за кој тврди дека покажува подобри резултати од GPT-6 на Astra за математички задачи. Компанијата сè уште не го објавила, ниту е достапен за корисниците. OpenAI наведува дека на 1 септември слушнал гласини дека се решени два милениумски проблеми. Ова го натерало да го тестира новиот модел на преостанатите отворени проблеми, како и на неколку други важни математички прашања.

Наместо еден модел да се обидува да најде докази, OpenAI вработи систем од меѓусебно поврзани агенти на вештачка интелигенција. На поединечните групи им беа дадени различни верзии на проблемот, можеа да разменуваат резултати и да користат алатки како што се програмирање и пристап до зачувана верзија на Интернет.

Групата што на крајот го произведе решението Навиер-Стоукс вклучуваше околу 10.000 агенти. Според OpenAI, тие ги достигнаа своите резултати на 5 септември, приближно 88 часа откако беа лансирани првите агенти. Формализацијата и дополнителната верификација на доказите во Lean траеја уште 17 часа, а за тој дел беше користен GPT-6 Astra.

Обемот на потфатот беше огромен. Само за време на работата на проблемот Навиер-Стоукс, агентите разменија околу 2,7 милиони пораки и произведоа приближно 130 милијарди излезни токени. Околу 300 милијарди излезни токени беа потрошени за сите математички проблеми што системот се обидуваше да ги реши преку 4,9 милиони пораки.

Вистинската цена на таквата пресметка е непозната бидејќи моделот што се користеше за пронаоѓање на доказите не е јавно достапен, ниту пак има објавена цена. Сепак, јасно е дека ова е компјутерски проект вреден повеќе милиони долари.

Научници тврдат дека Опен АИ ги користел нивните резултати

Објавата брзо го покрена прашањето кој всушност бил првиот што го тргнал патот што довел до резултатот. Тристан Бакмастер, професор по математика на Универзитетот во Њујорк, објави дека работел на тесно поврзани проблеми во динамиката на флуидите со математичарот Левент Алпоге, вработен во конкурентот Антропик.

Во истражувањето, тие користеле неколку големи јазични модели, меѓу кои и Клод на Антропик и Кодекс на ОпенАИ. Според Бакмастер, нивната работа напредувала бавно со месеци, само за да добие нови резултати за неколку поврзани равенки, вклучувајќи ја и Ојлеровата, кон средината на август.

Бакмастер тврди дека на 3 септември дознал дека информациите за нивниот напредок стигнале до ОпенАИ. Во својата изјава, тој наведува дека потоа разговарал со претставници на компанијата и открил дека нивниот внатрешен модел работи на доказ за Навиер-Стоукс. Тој исто така тврди дека му било кажано дека ОпенАИ почнал да го фокусира својот модел на тој пристап откако информациите за неговата и работата на Алпоге веќе стигнале до компанијата.

Бакмастер експлицитно нагласува дека не тврди дека ОпенАИ ги користел нивните податоци, ниту ја обвинува компанијата за кражба на работа. Тој напишал дека не знаел дали нивните податоци биле користени и дека сакал јавно да ја соопшти хронологијата на настаните што тој лично ги доживеал.

ОпенАИ тврди дека не ппристапил до нивните податоци

ОпенАИ дава поинаква верзија на настаните. Компанијата вели дека го започнала својот проект на 1 септември откако слушнала гласини за напредок во решавањето на два проблеми на милениумците и дека истражувачите и агентите за вештачка интелигенција не ја виделе работата на Бакмастер и Алпоге пред нејзиното јавно објавување.

Но, тој остави една важна пречка. „Иако е малку веројатно, не можеме да ја исклучиме можноста дека деидентификуваните податоци добиени од нивната употреба на нашите производи помогнале во подобрувањето на нашите модели“, објави компанијата.

OpenAI тврди дека неговиот доказ е значително различен од работата на Бакмастер и Алпоге и ја нарече нивната паралелна работа „извонредна“.

Навиер-Стоксовите равенки се предмет на голем интерес во математиката и иако изгледа изненадувачки, поради нивната широка практична употреба, математичарите сè уште не докажале дека решенијата во три димензии секогаш постојат, или дека, ако постојат, не содржат бесконечности, сингуларности или дисконтинуитети (дисконтинуитети).