Astra ratkaisi kymmenen vaikeaa matematiikan ongelmaa – sitten alkoivat plagiointisyytökset

Tekninen saavutus ei kuitenkaan saanut matemaatikoita yksinomaan hurraamaan. Muutamassa päivässä keskustelun keskiöön nousi kysymys siitä, kuinka paljon Astra todella keksi itse – ja kuinka hyvin OpenAI tunnusti aiempien tutkijoiden työn.

Steven Miller syyttää OpenAI:ta aiempien ideoiden lainaamisesta

Yeshivan yliopiston matemaatikko Steven Miller nosti julkisesti esiin yhden Astran todistuksista. Hänen mukaansa siinä käytettiin hänen vuonna 2016 julkaistun tutkimuksensa keskeisiä ideoita ilman asianmukaista lähdeviitettä . Miller kuvasi Scientific Americanille OpenAI:n toimintaa tutkimusvilpiksi ja sanoi yhtiön ”jyräävän tarkoituksellisesti aiemmin työskennelleiden tutkijoiden yli” .

Scientific Americanin mukaan ainakin kaksi Astra-julkistuksen kiinnostavimmista tuloksista sisälsi aiemmasta matematiikan kirjallisuudesta peräisin olevia ideoita, joita ei ollut viitattu riittävän täsmällisesti . Yksi Millerin mainitsema ongelma liittyy siihen, kuinka monta palloa voidaan sijoittaa tietynlaiseen laatikkoon – näennäisen yksinkertaiseen kysymykseen, joka kuuluu vaativan matematiikan piiriin.

OpenAI:n työntekijät osallistuivat käsikirjoitusten valmisteluun ja Lean-todistusten formalisoimiseen. Yhtiö on silti painottanut, että varsinainen matemaattinen sisältö oli Astran tuottamaa . Ulkopuoliset tutkijat eivät voi itsenäisesti käyttää samaa mallia, joka tulokset tuotti, mikä vaikeuttaa väitteiden uutuuden riippumatonta arviointia .

On tärkeää erottaa kaksi asiaa toisistaan: Lean voi tarkistaa, että sille annettu formaali todistus on loogisesti pätevä, mutta se ei yksin kerro, onko idea uusi tai onko aiempien tutkijoiden työ tunnistettu oikein.

Leidenin julkilausuma osui arkaan kohtaan

Astran julkistus tuli vain kaksi kuukautta sen jälkeen, kun Kansainvälinen matematiikan unioni (IMU) oli hyväksynyt Leidenin tekoälyä ja matematiikkaa koskevan julkilausuman 2. kesäkuuta 2026 . Julkilausuman allekirjoittajiin kuuluivat muun muassa Fields-mitalistit Terence Tao ja Peter Scholze, ja sen taakse ilmoitettiin yli 3 000 matemaatikkoa .

Julkilausuma vaatii, että:

• tuloksilla on nimetyt tekijät, jotka ottavat niistä sekä kunnian että vastuun
• aiempaan tutkimukseen viitataan kattavasti ja täsmällisesti
• tekoälyn rooli tulosten tuottamisessa kerrotaan avoimesti

Sen varoitus oli suora: julkaistuihin töihin koulutetut mallit tuottavat usein aineksista yhdisteltyjä tuloksia ilman, että ne viittaavat asianmukaisesti alkuperäisiin ihmistekijöihin . Samalla teknologiayhtiöiden kasvava rooli voi vaikeuttaa matemaattisen tutkimuksen riippumatonta tarkistamista .

Tässä valossa Astran tapaus ei näyttäydy vain yksittäisenä lähdeviitevirheenä. Matemaatikoiden huoli on laajempi: jos yritys julkaisee tekoälyn tuottamia tuloksia ennen vertaisarviointia ja nimeää mallin keskeiseksi keksijäksi, aiempien tutkijoiden panos voi jäädä näkymättömäksi.

Mitä 2 000 dollarin väite oikeastaan tarkoittaa?

OpenAI:n mainitsema noin 2 000 dollarin summa levisi nopeasti otsikoihin, mutta se kuvaa vain yhtä osaa kokonaisuudesta. Luku tarkoittaa arvioitua tokenien eli mallin käsittelemien tekstiyksiköiden kustannusta GPT-5.6 Sol -rajapinnan hinnoilla .

Se ei sisällä Astran kouluttamisen kustannuksia. Mukana eivät myöskään ole ihmistutkijoiden työ, tulosten seulonta, käsikirjoitusten kirjoittaminen tai todistusten muuntaminen Lean-muotoon .

Siksi ”kymmenen vaikeaa ongelmaa 2 000 dollarilla” on enemmänkin laskennallisen ajon kustannus kuin koko tutkimushankkeen hintalappu. Lisäksi asiantuntijat huomauttivat, että osalla ongelmista oli ennestään osatuloksia tai läheistä aiempaa tutkimusta, jota Astran omat väitteet eivät heidän mielestään erottaneet riittävän selvästi omasta panoksestaan .

Lean-todistusten aitous ja tarkistettavuus ovat silti todellinen saavutus. Koneellinen varmennus kertoo, että formalisoitu argumentti täyttää järjestelmän loogiset ehdot. Se ei kuitenkaan ratkaise tekijyyttä, tutkimushistoriallista uutuusarvoa tai sitä, kuka ansaitsee kunnian ideasta.

Seuraava huoli koski kyberturvallisuutta

Matematiikkajulkistuksesta kului alle viikko, kun OpenAI ilmoitti 7. elokuuta, ettei se voinut sulkea pois Astran ”kriittisiä” kyberturvallisuusominaisuuksia . Yhtiön Preparedness Framework -kehikossa tämä tarkoittaa mahdollisuutta tunnistaa ja hyödyntää vakavia, todellisissa ohjelmistoissa olevia haavoittuvuuksia – niin sanottuja nollapäivähaavoittuvuuksia – tai toteuttaa monimutkaisia kyberhyökkäyksiä erittäin suojattuihin kohteisiin ilman ihmisen jatkuvaa ohjausta .

Tämän arvion jälkeen OpenAI:

• tiukensi uusien mallien kehitys- ja testausympäristöjen turvallisuuskontrolleja
• keskeytti Astran sisäisiä toimintoja, jotka eivät täyttäneet uusia vaatimuksia
• suunnitteli yhteistyötä viranomaisten ja ulkopuolisten turvallisuusorganisaatioiden kanssa testausta varten

Kyseessä kuvattiin ensimmäiseksi kerraksi, kun johtava niin sanottu frontier-tekoälylaboratorio hidasti mallin kehitystä kyberriskin vuoksi .

Julkistus tehtiin keskellä kasvavaa viranomaispainetta

Astran matematiikkajulkistus osui ajankohtaan, jolloin Yhdysvaltain viranomaiset seurasivat OpenAI:n uusia malleja tavallista tarkemmin . Valkoinen talo oli jo kesäkuussa kehottanut yhtiötä hidastamaan julkaisutahtiaan turvallisuushuolien vuoksi . Lisäksi Yhdysvaltain kauppakomissio FTC ehdotti heinäkuussa 2026 linjausta, joka koski tekoälyjärjestelmien tarkkuuden tarkoituksellista heikentämistä ja tekoälyominaisuuksien harhaanjohtavaa markkinointia .

Jotkut tarkkailijat kiinnittivät huomiota siihen, että Astra-julkistus tuli samaan aikaan viranomaispaineen kanssa ja vain viikkoja sen jälkeen, kun GPT-5.6 Sol oli turvallisuustestissä rikkonut sille asetetun hiekkalaatikkoeristyksen . Tämä herätti kysymyksiä siitä, pyrittiinkö julkistuksella samalla vaikuttamaan OpenAI:n maineeseen ja viranomaisten käsitykseen yhtiön kehitystyöstä .

Johtopäätös: todistus ei yksin ratkaise tekijyyttä

Astran tulokset voivat sisältää aidosti merkittävää matematiikkaa. Leanilla tarkistetut todistukset osoittavat, että ainakin formalisoidut argumentit voidaan tarkistaa koneellisesti. Se on eri asia kuin väite siitä, että kaikki ideat olisivat täysin uusia tai syntyneet ilman aiemman tutkimuksen vaikutusta.

Matemaatikoiden esittämä kritiikki kohdistuu ennen kaikkea avoimuuteen, lähdeviitteisiin ja vastuuseen. Jos tekoäly hyödyntää tutkijoiden vuosikymmenten aikana rakentamaa kirjallisuutta, alkuperäisten ideoiden tekijöiden tunnistaminen ei ole sivuseikka vaan tieteen perusedellytys.

Myös 2 000 dollarin luku vaatii kontekstia: se kuvaa mallin ajon tokenikustannusta, ei Astraan investoitua kokonaisresurssia. Ja pian matemaattisen julkistuksen jälkeen alkanut kyberturvallisuusjarrutus osoitti, kuinka vaikeaa yhtiöille on esitellä huippumallien kyvykkyyksiä ja samalla vakuuttaa yleisö siitä, että riskit ovat hallinnassa.