OpenAI julkisti kymmenen matemaattista läpimurtoa tekoälyn avulla
OpenAI on julkistanut kymmenen merkittävää edistysaskelta matematiikan ja teoreettisen tietojenkäsittelytieteen aloilla. Edistysaskeleet ratkaisivat yli vuosikymmenen vanhoja ongelmia, ja niiden ratkaisemiseen käytetyn tekoälytutkimuksen kustannukset olivat noin 2000 dollaria.
OpenAI, tekoälytutkimusta kehittävä yritys, on ilmoittanut saavuttaneensa kymmenen merkittävää edistysaskelta matematiikan ja teoreettisen tietojenkäsittelytieteen aloilla. Nämä ratkaisut koskevat ongelmia, jotka ovat olleet avoinna vähintään kymmenen vuoden ajan, ja joiden parissa ei ole aiemmin saavutettu olennaista edistystä.
Uusimmat edistysaskeleet saavutettiin OpenAI:n seuraavan sukupolven Astra-mallin sisäisellä versiolla. Ratkaisujen laskennallinen kustannus, käyttäen Sol API:n hinnoittelua, oli noin 2000 dollaria token-kustannuksina.
OpenAI korostaa, että tekoälyn luomat todisteet tulisi tunnustaa sen mukaisesti. Yritys katsoo, että tekoälyn tuottamien todisteiden esittäminen ihmisen itsenäisenä työnä vääristäisi tutkijoiden panosta ja vähättelisi ihmisen älyllistä työtä.
Ihmistutkijat avustivat paperin laatimisessa ja varmistivat todisteiden oikeellisuuden Lean-kielellä. Itse matemaattiset todisteet sen sijaan generoitiin OpenAI:n tekoälyjärjestelmillä. Julkaistut edistysaskeleet kattavat muun muassa korkeaulotteisten pallojen pakkaamisen, binääri- ja pallokoodit, ei-sofic-ryhmien olemassaolon sekä kvanttiparellirepetition teoreeman kehittämisen.