Harvardin tutkija ja tekoäly ratkaisivat 87-vuotiaan matemaattisen ongelman

Harvardin yliopiston tutkija Levent Alpöge on ilmoittanut ratkaisseensa 87 vuotta vanhan Jacobian konjektuurin hyödyntäen Anthropic-yhtiön Fable-tekoälymallia. Alpögen löydös, jos se vahvistetaan virallisesti, voi mullistaa matemaattisen tutkimuksen ja osoittaa edistyneiden tekoälymallien potentiaalin tieteellisessä löytämisessä.

Alpöge, 33-vuotias tutkija, työskenteli viikonloppuna Fable-mallin kanssa löytääkseen vastaesimerkin vuonna 1939 esitetylle konjektuurille. Jacobian konjektuuri esittää, että tietyissä polynomiin perustuvissa muunnoksissa alkuperäiset koordinaatit voidaan aina palauttaa. Alpögen esittämä vastaesimerkki on lyhyt, vain 216 merkkiä pitkä.

Vaikka löydös ei ole vielä käynyt läpi perinteistä vertaisarviointiprosessia, useat matemaatikot ovat raportoitujen tarkistusten mukaan vahvistaneet laskelmat. Jotkut tutkijat ovat hyödyntäneet lisäksi muita tekoälyjärjestelmiä, kuten OpenAI:n GPT-malleja, oman vahvistustyönsä tukena.

Tapaus on herättänyt keskustelua tekoälyn roolista matematiikassa. Tekoälyä käytetään yhä enemmän yhteistyökumppanina, joka auttaa todistusstrategioiden ehdottamisessa, aukkojen täyttämisessä ja argumenttien virheiden tarkistamisessa. Tämä nopeuttaa uusien ideoiden tutkimista ja edistää formaalin verifioinnin kenttää.

Alpögen löydös, jos se saa lopullisen vahvistuksen, voi tarjota vahvaa näyttöä tekoäly-yhtiöiden väitteille siitä, että edistyneet mallit nopeuttavat merkittävästi matemaattista ja tieteellistä tutkimusta. Se voi myös haastaa kriitikot, jotka epäilevät stokastisten mallien soveltuvuutta matematiikan kaltaisilla tarkkuutta vaativilla aloilla.