OpenAI publicē lielu nesen nepaziņota AI modeļa matemātisko atklājumu krājumu

Attēls: The Verge · Avots

OpenAI ir publiskojis 722 manuskriptus, kas apraksta risinājumus simtiem ilgi neatrisinātu matemātikas problēmu, ko izstrādājis nesen publiskots iekšējais mākslīgā intelekta modelis. Šis darbs, kas pieejams GitHub, papildina ar AI saistītos sasniegumus, vienlaikus aktualizējot pētniecības ētikas un akadēmisko normu jautājumus.

OpenAI ir publiskojis ievērojamu matemātisko rezultātu kopumu, ko radījis nesen nepaziņots iekšējais mākslīgā intelekta modelis — 722 manuskriptu, kas sadalīti 372 savstarpēji saistītos rakstu grupās. Šī plašā publiskošana risina simtiem ilgi atvērtu jautājumu dažādās matemātikas nozarēs, turpinot pēdējos gados novērojamo AI atbalstīto izgudrojumu tendenci šajā jomā. Materiāli pieejami publiskā GitHub repozitorijā, ietverot formālas pierādīšanas, argumentācijas kopsavilkumus un papildmateriālus.

OpenAI norāda, ka lielākā daļa rezultātu iegūti, izmantojot vienotu procedūru, kurā iekšējais modelis pielietots aptuveni 4 000 problēmu risināšanai, vidēji aprēķinu laiks vienam rezultātam bija līdzvērtīgs trim stundām, izmantojot ChatGPT Pro. Atsevišķie rezultāti tika apkopoti, stingri sakārtoti un rūpīgi pārskatīti pirms publicēšanas. Dažas sarežģītas lietas, piemēram, pierādījumi saistībā ar Rīmana zētas funkcijas nulles brīvajām jomām un Hodge hipotēze CM abeliānas daudzveidībām, ietvēra izņēmumus standarta procesā un cilvēka rediģēšanu skaidrības labad.

Publicētajā repozitorijā pieejama detalizēta matemātikas disciplīnu katalogs, kas ļauj orientēties galvenajos rezultātos un to pavadošajos darbos. Daudzi manuskripti ir papildināti ar formālām pārbaudēm, izmantojot Lean pierādījumu asistentu, lai gan daļa paliek neformalizēti un var saturēt kļūdas, ko OpenAI apņemas labot turpmākajos atjauninājumos.

Šī atklāsme seko Matemātikas un Mākslīgā Intelekta padomes ieteikumiem, kas aicina AI pētniecības laboratorijas ātri dalīties ar matemātiskiem atklājumiem, izmantojot izveidotus akadēmiskos kanālus, nodrošinot caurspīdīgumu, tostarp modeļa nosaukumus, datu vidi un aprēķinu izmaksas. Padome arī brīdināja neizmantot šādus rezultātus tikai mārketinga nolūkos, jo tas var kaitēt matemātikas kopienai.

Šo AI radīto rezultātu plašāka ietekme joprojām attīstās, jo matemātiķi visā pasaulē pārbauda un apstiprina atklājumus. Šie rezultāti papildina strauji augošu AI radītu matemātikas pētījumu korpusu, kurā piedalās arī laboratorijas kā Anthropic, kuras risina sarežģītas problēmas, tostarp Millennium Prize uzdevumus. AI straujā iesaiste fundamentālajā matemātikā rosina diskusijas par pētniecības ētiku, akadēmisko nopelnu un cilvēku matemātiķu lomu, kuru agrākie darbi veido pamatu AI sasniegumiem.

OpenAI plāno uzturēt manuskriptus publiskā versiju kontrolē, ļaujot veikt nepārtrauktus labojumus un nodrošinot caurredzamību. Uzņēmums arī izpēta papildu kopienas platformas, lai izplatītu un kopīgi pilnveidotu matemātisko saturu. Šī publiskošana iezīmē nozīmīgu posmu AI integrācijā matemātikas pētniecībā, uzsverot gan ievērojamu potenciālu, gan atbildīgas inovācijas sarežģītību.