Matemaatikot kyseenalaistavat OpenAI:n ratkaisua Navier-Stokesin yhtälöihin

Tutkijat ovat alkaneet kyseenalaistaa OpenAI:n syyskuussa julkistamaa väitettä ratkaisusta yhteen Millennium-ongelmista, Navier-Stokesin yhtälöihin. Vaikka OpenAI esitti 166-sivuisen todistuksen ja väitti sisäisen tekoälyjärjestelmänsä ratkaisseen ongelman 88 tunnissa, matemaatikot epäilevät todistuksen menetelmää ja sen suhdetta aiempaan tutkimukseen.

Matemaatikkojen mukaan OpenAI:n esittämä lähestymistapa poikkeaa merkittävästi espanjalaisten matemaatikkojen Diego Córdoban ja Luis Martínez-Zoroan aiemmin ehdottamista menetelmistä. Asiantuntijat uskovat, että OpenAI ei välttämättä täysin ymmärtänyt oman mallinsa toimintaa julkaisun hetkellä. Vaikka OpenAI käytti todistuksen muotoiluun ja varmistamiseen Lean-kieltä, tämä ei takaa itse todistuksen tieteellistä merkitystä tai ihmisymmärryksen helppoutta.

Lisäksi on herännyt kysymyksiä OpenAI:n tutkimuksen alkuperästä. Jotkut matemaatikot epäilevät, että OpenAI on saattanut hyötyä aiemmasta tutkimuksesta, jota on tehty julkisilla malleilla. OpenAI on kiistänyt syytökset ja ilmoittanut tutkineensa asian, mutta kiista tutkimusmenetelmien ja tulosten yhteydestä jatkuu.

Toinen keskeinen epäselvyys koskee tuhansien tekoälyagenttien todellista roolia ja kontribuutiota. Vaikka OpenAI raportoi käyttäneensä noin 10 000 rinnakkaista agenttia, on epäselvää, kuinka paljon tämä hajautettu arkkitehtuuri todella edisti lopullista tulosta. Joidenkin arvioiden mukaan agenttiyhteistyön osuus saattoi jäädä alle 10 prosenttiin, ja merkittävämpää oli todennäköisesti perustavanlaatuisen mallin kyky käsitellä tehtäviä pitkiä aikoja ja tutkia useita ratkaisuja samanaikaisesti.

Matemaatikkoyhteisö arvioi edelleen OpenAI:n tutkimustuloksia, ja koko sisällön täydellinen sulattaminen ja arviointi voi kestää vuosia. Keskustelu ei koske pelkästään tekoälyn kykyä tuottaa muotoiltuja todistuksia, vaan myös tutkimusmenetelmien pätevyyttä, tulosten alkuperää ja tekoälyagenttien todellisen panoksen mittaamista.