OpenAI vihjaa uudesta Millennium-palkinnon matemaattisesta läpimurrosta

Alle kaksi viikkoa sen jälkeen, kun OpenAI väitti ratkaisseensa Navier-Stokes-yhtälön olemassaoloa ja sileyttä koskevan ongelman, yhtiö on vihjannut olevansa lähellä toisen seitsemästä Millennium-palkinnon ongelmasta ratkaisemista. Spekulaatiot keskittyvät Hodgen konjektuuriin. Tämä tapahtuu samalla, kun yhtiö kohtaa matemaatikoiden yhteisön järjestäytyneen vastustuksen, mukaan lukien 25 Fieldsin mitalistin allekirjoittaman kirjeen, jossa varoitetaan vakavasta epäsuhdasta tekoälyyritysten ja niiden muokkaaman tieteenalan välillä.

Navier-Stokes-kohun seuraukset

Syyskuun 8. päivänä OpenAI ilmoitti, että noin 10 000 koordinoitua tekoälyagenttia, joita pyöritti julkaisematon sisäinen malli, oli tuottanut 166-sivuisen todistuksen ja Lean-formalisaation. Sen mukaan Navier-Stokes-yhtälöt voivat räjähtää, eli tuottaa äärettömiä virtausnopeuksia sileistä alkuolosuhteista, 88 tuntia kestäneen laskennan aikana, joka alkoi 1. syyskuuta. Ilmoitus herätti välittömästi syytöksiä NYU:n matemaatikko Tristan Buckmasterilta, joka väitti OpenAI:n kiirehtineen ongelman kimppuun saatuaan tietää hänen ja Anthropicin tutkija Levent Alpögen edistyneen vastaavalla lähestymistavalla. OpenAI kiisti väitteet sanoen, että Buckmasterin työn vaikutus sen sisäiseen malliin oli kategorisesti mahdotonta.nytimes+3

Kiista kärjistyi nopeasti. Syyskuun 11. päivänä Terence Tao ja 24 muuta Fieldsin mitalistia julkaisivat julistuksen nimeltä A Severe Misalignment of AI in Mathematics, jossa väitettiin, että tekoälyyritykset kohtelevat kuuluisia ongelmia pikemminkin raa'an voiman vertailukohtina kuin aitojen oivallusten välineinä. Kirjeessä todettiin, että ratkaisut julkistetaan usein kiireessä, jolloin ei jää aikaa kunnolliselle kirjoittamiselle, uusien menetelmien eristämiselle tai muiden aiemman työn huomioimiselle. Lähes 6 000 muuta matemaatikkoa on sittemmin tukenut kirjeen sisältöä.science+2

Lisäksi yli 1 000 matemaatikkoa allekirjoitti avoimen kirjeen, jossa vastustettiin Caltechin suunniteltua mathathon-tapahtumaa. Siinä tutkijoita oli tarkoitus yhdistää OpenAI:n ja Anthropicin tarjoamiin tekoälylaskentaresursseihin, mitä kritisoitiin uransa alkuvaiheessa olevien tutkijoiden hyväksikäytöksi. OpenAI vetäytyi tapahtumasta.science

Toinen Millennium-ongelma

Vaikka matemaatikot työskentelevät tiiviin Navier-Stokes-todistuksen parissa, OpenAI on vihjannut olevansa lähellä toisen Millennium-ongelman ratkaisua, raportoivat The Information ja Science. Yhtiö ei ole vahvistanut, mitä ongelmaa se tavoittelee, mutta spekulaatiot ovat keskittyneet Hodgen konjektuuriin, joka on algebrallisen geometrian ongelma ja niin abstrakti, että sen ymmärtäminen vaatii jatkotutkintoa. Huhut ovat viitanneet myös Birch ja Swinnerton-Dyerin konjektuuriin mahdollisena kohteena.theinformation+4

Ajoitus on herättänyt jyrkkää kritiikkiä. Brownin yliopiston Javier Gómez-Serrano, joka luennoi Navier-Stokes-todistuksesta Harvardissa 11. syyskuuta, kuvaili 166-sivuista asiakirjaa käsittämättömäksi ja sanoi matemaattisen yhteisön kokevan eksistentiaalista kriisiä. Caltechin Sergei Gukov vertasi tilannetta maanjäristykseen.science

Se, syventääkö OpenAI:n seuraava väite, jos se toteutuu, kuilua matemaatikoiden kanssa vai merkitseekö se käännekohtaa kohti yhteistyötä, jää avoimeksi kysymykseksi. Kuten Fieldsin mitalistit kirjoittivat: matematiikan kohtaama haaste osoittaa ongelmia, joita koko ihmiskunta saattaa kohdata: miten varmistaa, että kun tekoäly muuttaa työn tekemisen tapoja, emme kadota näkyvistä sitä, mitä työllä oli alun perin tarkoitus saavuttaa.terrytao.wordpress