Navier-Stokes

Tutkijat löysivät ristiriidan OpenAI:n Navier-Stokes-todistuksesta

Matemaatikot tarkastavat parhaillaan suurta määrää OpenAI:n 6. lokakuuta julkaisemia tekoälyllä tuotettuja todistuksia, ja osa tähänastisista havainnoista herättää epäilyksiä. Cambridgen yliopiston tutkijoiden johtama ryhmä kertoo, että yhtiön aiemman Navier-Stokes-todistuksen ihmisluettava ja tietokoneella tarkistettava versio eivät täsmää keskenään.

Matemaatikot: OpenAI:n tekoälytodistus on lähes käsittämätön

OpenAI ilmoitti maanantaina 21. syyskuuta tekevänsä yhteistyötä riippumattoman matematiikan ja tekoälyn neuvoa-antavan ryhmän kanssa. Princetonin Institute for Advanced Study -laitoksessa toimiva ryhmä perustettiin viikkoja kestäneen kiistan jälkeen, joka koski kiistanalaista ja pitkälti lukukelvotonta tekoälyn tuottamaa todistusta Navier-Stokes-yhtälön Millennium-ongelmaan.

OpenAI väittää tekoälyn ratkaisseen yli sata matemaattista ongelmaa ilman todisteita

OpenAI ilmoitti 21. syyskuuta, että nimeämätön sisäinen malli, jonka koulutus alkoi 28. elokuuta, on ratkaissut yli 100 pitkään avoinna ollutta ongelmaa useimmilla matematiikan osa-alueilla, mukaan lukien Navier-Stokesin Millennium-palkinto-ongelma. Yhtiö ei julkaissut todisteita, luetteloa ongelmista tai ulkopuolista vahvistusta, joten koko väite…

Insinöörien mukaan OpenAI:n Navier-Stokes-todistus ei mullista virtausmekaniikkaa lähiaikoina

OpenAI ilmoitti 8. syyskuuta, että julkaisematon sisäinen tekoälyjärjestelmä on tuottanut todistuksen siitä, että kolmiulotteiset Navier-Stokes-yhtälöt voivat kehittää singulariteetin äärellisessä ajassa. Tämä saattaa ratkaista yhden kuudesta jäljellä olevasta Millennium-palkinto-ongelmasta, jotka Clay Mathematics Institute asetti vuonna 2000. Yhtiö julkaisi 166-sivuisen paperin ja…

25 Fieldsin mitalistia varoittavat: Tekoälyyritysten väitteet matemaattisista läpimurroista uhkaavat tieteenalaa

OpenAI ilmoitti 8. syyskuuta, että sen julkaisematon sisäinen tekoälymalli on ratkaissut Navier-Stokesin olemassaoloa ja sileyttä koskevan ongelman, joka on yksi seitsemästä Millennium-palkintoon oikeuttavasta matemaattisesta ongelmasta. Ratkaisu syntyi koordinoimalla noin 10 000 tekoälyagenttia 88 tunnin ajan. Väite, joka odottaa yhä riippumatonta…

OpenAI väittää 10 000 tekoälyagentin ratkaisseen 90 vuotta vanhan matematiikan ongelman

OpenAI ilmoitti tiistaina, että julkaisematon sisäinen tekoälymalli, joka työskenteli noin 10 000 koordinoidun agentin kautta, oli tuottanut ehdotuksen Navier-Stokesin olemassaolo- ja sileyden ongelman ratkaisuksi. Kyseessä on yksi seitsemästä Millennium-palkinto-ongelmasta, joista jokaisesta Clay Mathematics Institute maksaa miljoonan dollarin palkinnon. Väite, jos…

Tekoälyavusteinen Navier-Stokes-läpimurto sytytti kiistan OpenAI:n ja Anthropicin tutkijoiden välille

Yksi matematiikan tunnetuimmista ratkaisemattomista ongelmista ajautui tiistaina kiistan keskiöön, kun NYU:n matemaatikko Tristan Buckmaster syytti OpenAI:ta kiirehtimisestä kunnian viemiseksi hänen tutkimukseensa perustuvasta työstä. Buckmasterin mukaan yhtiö painosti häntä poistamaan yhteistyökumppaninsa tekijäluettelosta tämän kilpailevan tekoäly-yhtiön työsuhteen vuoksi.