Onnittelut GDM-tiimille IMO-tuloksesta! Mielestäni heidän rinnakkainen menestyksensä korostaa tekoälyn nopeaa kehitystä. Heidän lähestymistapansa oli hieman erilainen kuin meidän, mutta mielestäni se osoittaa, että on monia tutkimussuuntia jatkolle. Ajatuksia mallistamme ja tuloksistamme 🧵

~2 kuukautta sitten IMO lähetti meille sähköpostia osallistumisesta IMO:n viralliseen (Lean) versioon. Olemme keskittyneet yleiseen päättelyyn luonnollisella kielellä ilman Leanin rajoituksia, joten kieltäydyimme. Meitä ei koskaan lähestytty luonnollisen kielen matematiikan vaihtoehdosta.

Viime kuukausien aikana olemme edistyneet paljon yleisen päättelyn suhteen. Tämä sisälsi korkealaatuisen matemaattisen datan keräämistä, kuratointia ja koulutusta, jota käytetään myös tuleviin malleihin. IMO-tutkimuksessamme emme käyttäneet RAG:ia tai muita työkaluja.

Ennen kuin jaoimme tuloksemme, keskustelimme IMO:n hallituksen jäsenen kanssa, joka pyysi meitä odottamaan palkintoseremonian jälkeen sen julkistamista.

Ilmoitimme klo ~1 PT (6 AEST) palkintoseremonian päätyttyä. Kukaan ei missään vaiheessa pyytänyt, että ilmoittaisimme myöhemmin.

Ennen kaikkea olemme innoissamme voidessamme jakaa edistyksemme ja tuloksemme maailman kanssa. Tekoälyn päättelykyky kehittyy nopeasti, ja nämä IMO:n tulokset todella osoittavat sen.