AnswersPublished21 sources
OpenAI julkaisi 722 matemaattista käsikirjoitusta – miksi AHM vaatii matemaatikkoja lopettamaan yhteistyön?
Association for Human Mathematics (AHM) kehottaa matemaatikkoja lopettamaan yhteistyön OpenAI:n kanssa. OpenAI julkaisi käsikirjoituksia ja todistuksiin liittyviä aineistoja sekä Lean formalisaatioita osalle tuloksista.
JulkaisijaMuokattu mallilla GPT-6 LunaKuvat luotu mallilla GPT Image 2
Research answer
Key takeaways
- Association for Human Mathematics (AHM) kehottaa matemaatikkoja lopettamaan yhteistyön OpenAI:n kanssa.
- OpenAI julkaisi käsikirjoituksia ja todistuksiin liittyviä aineistoja sekä Lean formalisaatioita osalle tuloksista.
- Kiistassa punnitaan matemaattisten tulosten mahdollista arvoa, riippumattoman tarkistamisen vaatimaa työtä ja sitä, millainen rooli ihmisillä on tutkimuksessa.
AI Prompt
openai.comCreate a landscape editorial hero image for this Studio Global article: Why has the Association for Human Mathematics (AHM) urged mathematicians to stop working with OpenAI after its October 6 release of AI-gener. Article summary: AHM urged mathematicians to stop working with OpenAI because it sees the October 6 release as a mass display of a company’s capability, not a responsible way to establish mathematical knowledge. It argues that hundreds o. Topic tags: general, general web. 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, watermarks, charts with fake numbers, clic
Association for Human Mathematics (AHM) kehotti matemaatikkoja lopettamaan yhteistyön OpenAI:n kanssa sen jälkeen, kun yhtiö julkaisi 6. lokakuuta 2026 laajan kokoelman matemaattisia käsikirjoituksia. AHM:n kritiikki ei rajoitu siihen, että osa todistuksista saattaa olla virheellisiä. Sen mukaan yrityksen mallin tuottama joukkijulkaisu ei korvaa tieteellistä tarkistamista, lähteiden ja työvaiheiden dokumentointia eikä tutkijoiden välistä keskustelua.45
Kokoelmassa voi olla kiinnostavia tuloksia. Pelkkä käsikirjoitusten määrä, todistusaineistot tai suuret väitteet eivät kuitenkaan vielä osoita, että tulokset on vahvistettu. Kiista koskee myös sitä, kenellä on pääsy malliin, kuka pystyy arvioimaan sen tuotoksia ja kenen tehtäväksi tarkistaminen jää.
Mitä OpenAI julkaisi?
OpenAI:n alkuperäisessä julkaisussa esiteltiin 722 käsikirjoitusta 17 matematiikan alalta. Ne oli koottu 372 tulosperheeseen, joten kyse ei ole 722 toisistaan riippumattomasta löydöstä. Julkiseen GitHub-tietovarastoon lisättiin käsikirjoitusten lisäksi todistuksiin liittyvää aineistoa, ja se julkaistiin Apache-2.0-lisenssillä.7
15
OpenAI kertoi mallin kokeilleen noin 4 000 ongelmaa. Yhtiön mukaan yhtä tulosta kohti käytetty laskentateho vastasi keskimäärin noin kolmen tunnin ChatGPT Pro Thinking -käyttöä. Lisäksi se julkaisi 10 lyhennettyä yhteenvetoa mallin päättelystä ja Lean-formalisaatioita joillekin todistuksille.7
12
16 Tietovaraston mukaan tulokset ovat eri vaiheissa tarkistusta, eikä kaikille ole Lean-formalisaatiota. Sen nykyisessä luettelossa on 719 käsikirjoitusta alkuperäisen 722:n sijaan.
10
11
Kokoelmaan sisältyy muun muassa väitteitä Mahlerin konjektuureista ja π:n tarkasta irrationaalisuusasteesta. Niitä ei silti pidä pitää lopullisesti vahvistettuina vain siksi, että ne on julkaistu käsikirjoituksina.5
21
Miksi AHM arvostelee julkaisua?
AHM sanoi lausunnossaan, etteivät matemaatikot ”pyytäneet tätä työtä tehtäväksi”. Se kuvaili satojen tiedostojen julkaisemista ”voimannäytöksi”, ei tieteelliseksi työksi, ja vaati skeptistä suhtautumista sekä ihmislähtöistä tutkimusta sen sijaan, että yrityksen tulokset hyväksyttäisiin tai käsiteltäisiin kiireellä.45
Käytännön ongelma on työmäärä. Tulosten arviointi edellyttää, että asiantuntijat lukevat käsikirjoitukset, tarkistavat päättelyn ja suhteuttavat väitteet aiempaan tutkimukseen. Avoimet tiedostot antavat tutkijoille aineistoa tutkittavaksi, mutta eivät poista tätä työtä. Suurelta osin ne siirtävät sen tutkijoille.
AHM liitti kritiikkinsä myös Advisory Group on Mathematics and Artificial Intelligence -ryhmän varoitukseen. Institute for Advanced Study -instituutin yhteydessä toimiva ryhmä neuvoo tekoäly-yhtiöitä niiden suhteista matemaattiseen tutkimukseen. AHM:n mukaan ryhmä oli varoittanut testaamasta vaativia matemaattisia ongelmia yhtiöiden sisäisillä malleilla.45
Mitä Lean-todistukset varmistavat – ja mitä eivät?
Lean-formalisaatiot ovat tärkeä tarkistuskeino: niiden avulla voidaan tarkistaa tietokoneella ne todistukset, jotka on todella kirjoitettu järjestelmän ymmärtämään muotoon. OpenAI:n mukaan 162 käsikirjoituksen päätulos on formalisoitu.5 Tämä vahvistaa näiden nimenomaisten tulosten tarkistettavuutta, mutta ei automaattisesti validoi kaikkia väitteitä kaikissa käsikirjoituksissa.
Jos Lean-formalisaatiota ei ole, argumentti on arvioitava lukemalla ja tarkistamalla se. Myös tietovarasto huomauttaa, että tulokset ovat eri tarkistusvaiheissa eikä kaikilla ole Lean-formalisaatiota.10
11 Siksi jokaista tulosta on arvioitava erikseen: kokoelmaa ei voi pitää yhtenä kokonaisuutena sen enempää todistettuna kuin hyödyttömänäkään.
Avoimuus lisääntyi, mutta ei ratkaise kaikkia kysymyksiä
OpenAI:n luvut kokeilluista ongelmista ja laskenta-ajasta sekä 10 päättely-yhteenvetoa antavat jonkinlaisen kuvan siitä, miten tuloksia tuotettiin.7
12
16 Ne eivät kuitenkaan tarjoa täydellistä tapahtumaketjua jokaisesta tuloksesta, eikä mallia ole julkaistu riippumattomien tutkijoiden tarkasteltavaksi.
7
11
Pelkkä tieto noin 4 000 kokeillusta ongelmasta ei myöskään kerro, kuinka usein malli onnistui selkeästi määritellyissä vaikeissa ongelmissa. Suorituskyvyn ja toistettavuuden arviointiin tarvitaan lisää tietoa menetelmästä ja yksittäisten tulosten syntytavasta.
OpenAI kertoi suunnittelevansa työpajoja ja konferensseja merkittävien tulosten tarkastelua varten.7 Ne voivat helpottaa arviointia, mutta eivät korvaa sellaisten tietojen julkaisemista, joiden avulla muut tutkijat voivat itsenäisesti selvittää, miten todistukset syntyivät.
Mitä kiista kertoo matematiikan tutkimuksen tulevaisuudesta?
Kiistaan ei ole yksinkertaista vastausta. Tekoälyn tuottamien argumenttien joukossa voi olla aitoa matemaattista edistystä. Niiden arvo ratkaistaan kuitenkin sen perusteella, mitkä tulokset kestävät riippumattoman tarkistuksen – ei julkaisun laajuuden tai käsiteltyjen ongelmien tunnettuuden perusteella.7
10
AHM:n reaktio nostaa esiin myös kysymyksiä aiemman ihmistyön tunnustamisesta, tulosten tarkistamisen kustannuksista sekä siitä, voivatko tutkimuksen painopisteet tai rahoitus siirtyä pois ihmisten tekemästä tutkimuksesta. Käsikirjoitusten julkaisu ei vastaa näihin kysymyksiin, mutta tekee niistä ajankohtaisempia.45
Keskeistä on erottaa toisistaan kyky tuottaa paljon matemaattisia väitteitä ja niiden tieteellinen vahvistaminen. Kiista koskee kumpaakin: sitä, mitä tekoäly voi antaa matematiikalle, ja sitä, millaisia sääntöjä tarvitaan, jotta tämä panos on tarkistettavissa, läpinäkyvä ja merkityksellinen tutkimusyhteisölle.
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 julkaisi 722 matemaattista käsikirjoitusta – miksi AHM vaatii matemaatikkoja lopettamaan yhteistyön?"?
Association for Human Mathematics (AHM) kehottaa matemaatikkoja lopettamaan yhteistyön OpenAI:n kanssa.
What are the key points to validate first?
Association for Human Mathematics (AHM) kehottaa matemaatikkoja lopettamaan yhteistyön OpenAI:n kanssa. OpenAI julkaisi käsikirjoituksia ja todistuksiin liittyviä aineistoja sekä Lean formalisaatioita osalle tuloksista.
What should I do next in practice?
Kiistassa punnitaan matemaattisten tulosten mahdollista arvoa, riippumattoman tarkistamisen vaatimaa työtä ja sitä, millainen rooli ihmisillä on tutkimuksessa.