OpenAI jätti Justin Sunin miljoonan dollarin matematiikkapalkinnon lunastamatta

OpenAI on kieltäytynyt lunastamasta kryptomiljardööri Justin Sunin sille myöntämää miljoonan dollarin palkintoa Navier-Stokes-yhtälöihin liittyvästä työstään. Kyseessä on jo toinen hylätty matematiikkapalkinto tuloksesta, joka on mullistanut sekä matematiikan maailmaa että keskustelua tekoälyn luomasta tutkimuksesta.

Sun julkisti Justin Sun Prize -palkinnon 16. syyskuuta Genevessä ja nimesi OpenAI:n tutkimusryhmän sen ensimmäiseksi saajaksi. Palkintoperusteissa puhuttiin kolmiulotteisen Navier-Stokes-yhtälöiden olemassaoloa ja sileyttä koskevan ongelman "ratkaisusta ja formalisoidusta todistuksesta". Palkinnon julkisessa GitHub-tietovarastossa ongelma on merkitty ratkaistuksi ja palkinto lunastettavaksi, mutta rahoja ei ole haettu. OpenAI oli jo aiemmin ilmoittanut, ettei se aio hakea Clay-instituutin (Clay Mathematics Institute) samasta ongelmasta tarjoamaa miljoonan dollarin Millennium-palkintoa.yellow+3

Todistus, josta kaikki alkoi

OpenAI ilmoitti 8. syyskuuta, että noin 10 000 tekoälyagenttia, jotka toimivat nimeämättömällä sisäisellä huippumallilla, olivat luoneet todistuksen. Sen mukaan Navier-Stokes-yhtälöiden säätelemään nesteeseen voi kehittyä singulariteetti: se saavuttaa äärettömän nopeuden äärellisessä ajassa, kun siihen kohdistuu sileä ulkoinen voima. Agentit työskentelivät noin 88 tuntia, minkä jälkeen GPT-6 Astra TRON ↗ 4.44% käytti vielä 17 tuntia tuloksen formalisoimiseen Lean-todistusavustajalla.openai+2

Tuloksessa käsitellään virallisen Millennium-palkinnon muotoilun osia C ja D, eli versioita, joissa on mukana ulkoinen voima. Osat A ja B, joissa kysytään, voiko vapaa neste menettää säännöllisyytensä itsestään, ovat edelleen ratkaisematta. Clay-instituutti totesi 11. syyskuuta, että ilmoitus "näyttää ratkaisevan kysymyksen", mutta huomautti sääntöjensä vaativan muodollisen arvioinnin ennen palkintopäätöstä. Ongelma on yhä merkitty aktiiviseksi.yellow+3

Sunin palkinto ja sen ehdot

Justin Sun Prize toimii perinteisten akateemisten kanavien ulkopuolella. Se vaatii vertaisarvioinnin sijaan koneellisesti tarkistettavia todistuksia eikä tee eroa ihmis- ja tekoälytekijöiden välillä. "Välitän vain tuloksesta, en siitä, onko tekijä ihminen vai kone", Sun sanoi. Palkinnot maksetaan USDT-valuuttana TRON-verkossa tai USDC-valuuttana Ethereum-verkossa ↘ 0.62%. Ensimmäisellä kierroksella palkintolistalla on 66 ongelmaa, joiden joukossa ovat Riemannin hypoteesi ja Goldbachin konjektuuri.coinalertnews+3

TRON-lohkoketjun perustanut Sun on ollut oikeudellisen syynin kohteena: Yhdysvaltain arvopaperi- ja pörssikomissio (SEC) haastoi hänet oikeuteen vuonna 2023 epäillystä arvopaperipetoksesta. Tapaus päättyi maaliskuussa 2026 Rainberryn maksamaan 10 miljoonan dollarin sakkoon, eikä Sun myöntänyt tai kieltänyt syyllisyyttään.billionaires

Kysymykset tekijyydestä vellovat yhä

Palkinto myönnetään tilanteessa, jossa kysymykset kunnian kuulumisesta ovat yhä ratkaisematta. New Yorkin yliopiston matemaatikko Tristan Buckmaster sanoi, että hänen OpenAI:n tuotteeseen tallentamansa julkaisematon työ on saattanut vaikuttaa mallin tuottamaan tulokseen, joskin hän lisäsi: "En syytä ketään mistään". OpenAI ilmoitti tutkimuksensa osoittaneen, etteivät Buckmasterin syötteet olisi voineet vaikuttaa todistuksen luoneeseen järjestelmään. Nature-lehden pääkirjoituksessa kehotettiin 16. syyskuuta tekoäly-yhtiöitä tekemään yhteistyötä tiedeyhteisön kanssa tekijyyden suojelemiseksi.nature+1