AnswersPublished18 sources
OpenAI:n matematiikan neuvonantajaryhmä ei ratkaise todistuskohua yksin
OpenAI:n vastaus kohuun on palkaton, yhdeksänjäseninen matematiikan ja tekoälyn neuvonantajaryhmä, jota isännöi Princetonin Institute for Advanced Study. Ryhmään kuuluvat muun muassa Timothy Gowers, Martin Hairer, Edward Witten, Camillo De Lellis ja Melanie Matchett Wood.
JulkaisijaMuokattu mallilla GPT-5.6 TerraKuvat luotu mallilla GPT Image 2
Research answer
Key takeaways
- OpenAI:n vastaus kohuun on palkaton, yhdeksänjäseninen matematiikan ja tekoälyn neuvonantajaryhmä, jota isännöi Princetonin Institute for Advanced Study.
- Ryhmään kuuluvat muun muassa Timothy Gowers, Martin Hairer, Edward Witten, Camillo De Lellis ja Melanie Matchett Wood.
- Ryhmä voi neuvoa tulosten arvioinnissa ja julkaisussa sekä julkaista myös pyytämättömiä kannanottoja, mutta se ei voi määrätä OpenAI:n tutkimuksen suunnasta tai tahdista.
- Yli 100 uuden ratkaisuksi väitetyn matematiikan ongelman uskottava arviointi edellyttää silti julkisia todistuksia, Lean formalisointeja, alakohtaista riippumatonta tarkastusta ja selkeää dokumentaatiota työn alkuperä...
AI Prompt
openai.comCreate a landscape editorial hero image for this Studio Global article: How has OpenAI responded to controversy over its 166-page, Lean-verified AI-generated proof that Navier–Stokes equations can form finite-tim. Article summary: OpenAI’s response is a nine-member, unpaid Advisory Group on Mathematics and Artificial Intelligence, hosted by Princeton’s Institute for Advanced Study (IAS). It is designed to advise on the evaluation and public commun. Topic tags: general, education, news, general web, user generated. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermark
OpenAI on vastannut Navier–Stokes-väitettään seuranneeseen kritiikkiin tukemalla uutta matematiikan ja tekoälyn neuvonantajaryhmää. Ryhmää isännöi Princetonissa toimiva Institute for Advanced Study (IAS), mutta sen kuvataan toimivan OpenAI:sta riippumattomasti. Kyse on kuitenkin neuvoa-antavasta elimestä: se ei ole tiedelehti, riippumaton todistusten hyväksyjä eikä OpenAI:n tutkimusta valvova taho. 33
2
Mikä johti ryhmän perustamiseen?
OpenAI julkaisi 8. syyskuuta 166-sivuisen käsikirjoituksen sekä Lean-formalisoinnin. Yhtiön mukaan työ osoittaa, että sileä kolmiulotteinen Navier–Stokes-virtaus voi sileän ulkoisen voiman vaikutuksesta saada äärellisessä ajassa singulaarisuuden. OpenAI kuvaa tulosta ratkaisuksi Navier–Stokes-yhtälöiden olemassaolo- ja sileysongelmaan. 6
Lean on todistusavustin: se voi tarkistaa koneellisesti, seuraako väite siihen kirjatuista määritelmistä, aksioomista ja välituloksista. Formaali tarkistus ei silti tee todistuksesta automaattisesti ihmiselle helposti luettavaa tai selitä, miksi tulos on matemaattisesti merkittävä. Julkaisun jälkeen raportoinnissa korostui, että 166-sivuisen todistuksen avaaminen vie aikaa. Samalla uusi neuvonantajaryhmä nähtiin vastauksena huoleen siitä, miten laajoja tekoälyn tuottamia matematiikan tuloksia arvioidaan ja julkaistaan. 2
Kohuun liittyy myös erillinen kysymys ansiosta ja prioriteetista. Tristan Buckmaster ja Levent Alpöge julkaisivat samoihin aikoihin Leanilla varmennettuja tuloksia läheisistä virtausyhtälöongelmista, ja julkaisujen ympärille syntyi julkinen kiista tekijyydestä. Tämä on eri asia kuin se, tarkistuuko OpenAI:n formaali todistus: kiistassa on kyse työn alkuperästä, pääsystä ideoihin ja asianmukaisesta tieteellisestä tunnustuksesta. 1
Keitä ryhmässä on?
Perustavaan yhdeksän hengen ryhmään kuuluvat:
- François Charles
- Camillo De Lellis
- Timothy Gowers
- Martin Hairer
- Nikhil Srivastava
- Ulrike Tillmann
- Ravi Vakil
- Edward Witten
- Melanie Matchett Wood
26
Ryhmä toimii IAS:n yhteydessä, mutta OpenAI:n mukaan se on yhtiöstä riippumaton. 33
Mitä ryhmä voi tehdä?
OpenAI:n mukaan ryhmä neuvoo uusien matematiikan tulosten arvioinnissa ja viestinnässä. Tehtäviin kuuluu tulosten merkityksen arviointia, niiden koordinoidun julkaisun suunnittelua sekä matemaattisen tutkimuksen akateemisia ja ammatillisia käytäntöjä koskevaa neuvontaa. 17
33
Riippumattomuutta on kirjattu käytännön tasolla usealla tavalla:
- jäsenille ei makseta OpenAI:lta;
- he voivat antaa myös sellaista neuvontaa, jota OpenAI ei ole pyytänyt;
- he voivat kommentoida julkisesti OpenAI:n vaikutusta matematiikkaan;
- he voivat julkaista oman neuvontansa;
- he voivat itse muuttaa ryhmän jäsenistöä.
Nämä ehdot ovat merkittäviä, koska ne mahdollistavat myös julkisen erimielisyyden OpenAI:n kanssa. Ryhmän suositukset eivät kuitenkaan sido OpenAI:ta. 33
Mitä ryhmä ei voi tehdä?
Ryhmällä ei ole päätösvaltaa OpenAI:n tutkimuksen suunnasta eikä aikataulusta. OpenAI sanoo nimenomaisesti, ettei ryhmä neuvo sitä, millä vauhdilla yhtiön sisäinen matematiikan tutkimus etenee. 33
2
Siksi ryhmä ei voi esimerkiksi:
- pysäyttää tutkimusjulkistusta;
- vaatia OpenAI:ta julkaisemaan todistuksen, mallin tai sisäisiä tutkimusaineistoja;
- pakottaa yhtiötä muuttamaan julkaisustrategiaansa;
- päättää, hyväksyykö tiedeyhteisö matemaattisen väitteen; tai
- ratkaista yksin jälkikäteen syntynyttä prioriteetti- tai tekijyyskiistaa.
Ryhmä voi siis suositella käytäntöjä ja tuoda vastalauseita julki, mutta OpenAI päättää edelleen malleistaan, sisäisistä työprosesseistaan, aineistojen luovutuksesta ja siitä, noudattaako se yksittäisiä suosituksia. Kyse on parhaiten ymmärrettynä sillasta tekoälylaboratorion ja matematiikan yhteisön välillä – ei riippumattoman vertaisarvioinnin korvaajasta. 33
2
Riippumattomuus ja edustavuus jäävät avoimiksi kysymyksiksi
Ryhmän peruskirja antaa jäsenille huomattavan vapauden puhua ja julkaista, mutta käytännön vaikutus riippuu siitä, käyttävätkö jäsenet vapauttaan ja reagoiko OpenAI heidän neuvoihinsa. Erityisen olennainen rajaus koskee tutkimuksen vauhtia, sillä nopeat ja näkyvästi julkisuushakuiset ilmoitukset ovat olleet keskeinen osa tekoälylaboratorioihin kohdistunutta kritiikkiä. 2
33
Jäsenet ovat erittäin ansioituneita matemaatikkoja, mikä tuo ryhmälle uskottavuutta. Silti yhdeksän hengen paneeli ei automaattisesti edusta kaikkia olennaisia näkökulmia. Formaaleihin menetelmiin erikoistuneilla tutkijoilla, kyseisten alojen asiantuntijoilla, uransa alkuvaiheessa olevilla matemaatikoilla ja perustajapaneelin instituutioiden ulkopuolisilla yhteisöillä voi olla erilaisia käsityksiä arvioinnista, avoimuudesta, ansiosta ja julkaisun normeista. Raportoinnissa on nostettu esiin myös kysymyksiä siitä, miten jäsenet valittiin. 37
Palkattomuus voi vahvistaa etäisyyttä OpenAI:hin, mutta samalla se voi rajoittaa sitä, kuinka paljon aikaa jäsenillä on pitkäkestoiseen ja kriittiseen tarkastustyöhön. Siihen vaikuttaa myös se, kuinka kattavasti ryhmä saa käyttöönsä tausta-aineistoa.
Mitä tämä merkitsee Navier–Stokes-väitteelle?
Lean-varmennus on tärkeä, koska se voi tarkistaa mekaanisesti, että formaalinen teoreema seuraa koodatuista lähtökohdista. Se ei kuitenkaan yksin takaa, että kaikki mallinnusvalinnat vastaavat täsmälleen epämuodollisesti esitettyä ongelmaa. Eikä se ratkaise kysymyksiä tuloksen ymmärrettävyydestä, merkityksestä tai selitysvoimasta.
Neuvonantajaryhmä ei muuta tätä työnjakoa. Se voi neuvoa, miten tulosta tulisi arvioida ja viestiä, mutta riippumattomien matemaatikkojen on edelleen tarkasteltava käsikirjoitusta, Lean-aineistoa, oletuksia ja sitä, miten esitetty teoreema suhteutuu alkuperäiseen ongelmaan. 33
2
Myöskään Buckmasteriin liittyvä tekijyyskiista ei ratkea pelkällä ryhmän perustamisella. Uskottava ratkaisu vaatisi näyttöön perustuvaa prosessia, jossa selvitetään aikajana, panokset, pääsy aineistoihin ja tieteellinen ansio. 1
Seuraava koetinkivi: väite yli 100 lisäratkaisusta
OpenAI sanoo sisäisen mallinsa ratkaisseen yli 100 muuta avointa matematiikan ongelmaa. Neuvonantajaryhmän odotetaan auttavan tulosten vastuullisessa julkaisussa. 36
33
Ryhmä voisi lisätä prosessin uskottavuutta puolustamalla julkaisujärjestystä, joka mahdollistaa aidon ulkopuolisen arvioinnin:
- Ongelmat on määriteltävä täsmällisesti. Julkisen luettelon pitäisi erottaa todistetut teoreemat, ratkaisuksi väitetyt ongelmat, laajennukset ja niihin liittyvät tulokset.
- Sekä luettavat että koneellisesti tarkistettavat aineistot on julkaistava. Ihmisluettava todistus auttaa ymmärtämään merkityksen, ja formaali aineisto mahdollistaa mekaanisen toistotarkistuksen.
- Arvioinnin on oltava alakohtaista. Virtausdynamiikan, algebran, geometrian ja logiikan tulokset vaativat kyseisten alojen tutkijoiden tarkastusta, eivät vain yleispaneelin näkemystä.
- Työn alkuperä ja tekijöiden panokset on dokumentoitava. Tämä korostuu tilanteissa, joissa prioriteetista, mallien käytöstä tai aiemmasta julkaisemattomasta työstä voidaan kiistellä.
- Löytö ja varmistus on pidettävä erillään. Tekoäly voi tuottaa lupaavan todistusidean, mutta tiedeyhteisön hyväksyntä syntyy avoimesta tarkastelusta ja kestävästä tieteellisestä viestinnästä.
Uusi ryhmä on siten merkittävä hallintomalli kokeiltavaksi, mutta ei lopullinen vastaus kiistaan. Sen arvo näkyy siinä, julkaistaanko sen neuvot, tarjoaako OpenAI riittävät aineistot ulkopuoliseen tarkistukseen ja saavatko tulevissa julkistuksissa arviointi ja tekijyys saman painoarvon kuin itse uutinen.
Studio Global AI
Continue your research
This page includes a source-backed answer you can continue inside Studio Global.
People also ask
What is the short answer to "OpenAI:n matematiikan neuvonantajaryhmä ei ratkaise todistuskohua yksin"?
OpenAI:n vastaus kohuun on palkaton, yhdeksänjäseninen matematiikan ja tekoälyn neuvonantajaryhmä, jota isännöi Princetonin Institute for Advanced Study.
What are the key points to validate first?
OpenAI:n vastaus kohuun on palkaton, yhdeksänjäseninen matematiikan ja tekoälyn neuvonantajaryhmä, jota isännöi Princetonin Institute for Advanced Study. Ryhmään kuuluvat muun muassa Timothy Gowers, Martin Hairer, Edward Witten, Camillo De Lellis ja Melanie Matchett Wood.
What should I do next in practice?
Ryhmä voi neuvoa tulosten arvioinnissa ja julkaisussa sekä julkaista myös pyytämättömiä kannanottoja, mutta se ei voi määrätä OpenAI:n tutkimuksen suunnasta tai tahdista.