Simons fonds ar OpenAI un Anthropic sāk 15 miljonu dolāru programmu matemātiķiem

ASV pētniecības atbalsta organizācija Simons fonds 15. oktobrī paziņoja par jaunu iniciatīvu, kas palīdzēs matemātiķu kopienai pielāgoties mākslīgā intelekta straujajai ienākšanai pētniecībā. Partnerībā ar MI uzņēmumiem Anthropic un OpenAI programmai kopā paredzēti 15 miljoni dolāru finansējuma un resursu.

Līdzekļus pārvaldīs un sadalīs pats fonds, tostarp ar atklātu projektu konkursu. Nauda paredzēta semināriem un iniciatīvām, kuros pētnieki izvērtēs nesen ar MI palīdzību iegūtos rezultātus, apgūs jaunus rīkus, apmainīsies viedokļiem un veidos kopīgus MI lietošanas standartus. Abi uzņēmumi fonda atbalstītajiem pētniekiem nodrošinās arī MI rīkus un skaitļošanas jaudu, turklāt ne tikai matemātikā, bet arī fundamentālajās zinātnēs.

OpenAI savā vietnē norādīja, ka iniciatīvai piešķir piecus miljonus dolāru. Uzņēmuma mērķis ir palīdzēt matemātiķiem pārbaudīt, izprast un attīstīt MI radītos rezultātus, arī tos, kurus OpenAI publiskoja 6. oktobrī. Anthropic ieguldījuma apmērs publiskajos paziņojumos atsevišķi nav minēts.

Iniciatīva seko strīdam matemātiķu vidū. 6. oktobrī OpenAI GitHub repozitorijā vienlaikus publicēja plašu rezultātu kopumu, ko radījis tā iekšējais modelis, daļai pierādījumu pievienojot Lean formalizācijas, kuras var pārbaudīt dators. Uzņēmums norādīja, ka konsultējies ar Prinstonas Padziļināto pētījumu institūta padomdevēju grupu. The Verge raksta, ka finansējums paziņots nedaudz vairāk nekā nedēļu pēc tam, kad pētnieku kopienai vienā reizē tika nodoti simtiem preprintu. The Independent ziņo, ka matemātiķi kritizēja šādu publicēšanu, jo tā pārslogojot ierasto recenzēšanas procesu un izmantojot atvērtā koda pētījumus bez sadarbības ar kopienu.

Fonda prezidents Deivids Špergels uzsvēra, ka par to, kā MI rīki tiek vērtēti, ieviesti un lietoti, jālemj pašai matemātiķu kopienai, nevis kādam atsevišķam uzņēmumam vai iestādei. Pēc viņa teiktā, matemātika jāskata nevis kā pierādījumu un teorēmu kopums, bet kā kopīga izpratne, ko virza cilvēku zinātkāre.

Simons fonds jau iepriekš atbalstījis mašīnmācīšanos zinātnē, tostarp finansējis pierādījumu asistenta Lean izstrādi. Šis rīks mainījis matemātiķu darba veidu un ļāvis veidot ar MI palīdzību iegūtus, datorā pārbaudāmus pierādījumus.

Konkursa nosacījumus fonds vēl nav publiskojis. OpenAI apsolījis drīzumā pastāstīt vairāk par plānotajiem semināriem, konferencēm un īpašajām programmām.