Tekoäly voitti juuri kultaa kansainvälisissä matematiikan olympialaisissa 🥇
OpenAI:n ja Googlen mallit ratkaisivat 5/6 ongelmia käyttämällä yleiskäyttöisiä LLM:iä todellisten koesääntöjen mukaisesti.
Muodollisen matematiikan AGI:n aikakausi on alkanut 👇

Kullan voittaminen tarkoittaa pisteitä 35/42. Se on taso, jonka on saavuttanut vain kourallinen eliittilukiolaisia maailmanlaajuisesti.
Sekä OpenAI:n että Googlen mallit osuivat maaliin.
Ei laskimia. Ei hakua. Vain luonnollisen kielen päättelyä.
Googlen Gemini 2.5 käytti "Deep Think" -tilaa:
- Tutkimme ratkaisuja rinnakkain
- Koulutettu todistusstrategioihin ja matemaattisiin korpusiin
- Käytetty vahvistusoppimista monivaiheisissa päättelytehtävissä
Sen vedokset olivat niin viimeisteltyjä, että IMO:n luokittelijat kutsuivat niitä julkaistaviksi.
OpenAI:n mallia ei ole koulutettu IMO:ta varten.
Se käytti:
- Yleiset RL-tekniikat
- Ei Internetiä tai työkaluja
- Luonnollisen kielen vedokset
OpenAI arvioi jokaisen todistuksen itsenäisesti 3 entisen IMO-mitalistin toimesta yksimielisesti.
Malli tiesi jopa, milloin sillä ei ollut pätevää vastausta P6:een... osoittaa taitonsa päättelyssä, virheentarkistuksessa ja itsetuntemuksessa.
Uskomme, että tekoälyn suurin vaikutus voi olla matematiikassa.
Miksi? Koska matematiikka ohjaa kaikkea DeFi-logiikasta protokollan turvallisuuteen, ja se on todennettavissa.
Tekoälyt, jotka järkeilevät kuten Fields-mitalisteja, muokkaavat tapaamme rakentaa.
Tulevina vuosina odotamme tekoälyn tekevän:
• Täydellinen lukio- ja korkeakoulutason matematiikka (IMO, Putnam)
• Ratkaise edistyneitä tutkimusongelmia
• Osallistua peruslauseiden formalisoituihin todistuksiin
• Skaalaa yhteistyöhön perustuvaa, hajautettua matematiikkaa
Näemme tulevaisuuden, jossa matematiikka ei ole vain automatisoitua, vaan se on demokratisoitua, luotettavaa ja koottavissa. 💙
3,24 t.
72
Tällä sivulla näytettävä sisältö on kolmansien osapuolten tarjoamaa. Ellei toisin mainita, OKX ei ole lainatun artikkelin / lainattujen artikkelien kirjoittaja, eikä OKX väitä olevansa materiaalin tekijänoikeuksien haltija. Sisältö on tarkoitettu vain tiedoksi, eikä se edusta OKX:n näkemyksiä. Sitä ei ole tarkoitettu minkäänlaiseksi suositukseksi, eikä sitä tule pitää sijoitusneuvontana tai kehotuksena ostaa tai myydä digitaalisia varoja. Siltä osin kuin yhteenvetojen tai muiden tietojen tuottamiseen käytetään generatiivista tekoälyä, tällainen tekoälyn tuottama sisältö voi olla epätarkkaa tai epäjohdonmukaista. Lue aiheesta lisätietoa linkitetystä artikkelista. OKX ei ole vastuussa kolmansien osapuolten sivustojen sisällöstä. Digitaalisten varojen, kuten vakaakolikoiden ja NFT:iden, omistukseen liittyy suuri riski, ja niiden arvo voi vaihdella merkittävästi. Sinun tulee huolellisesti harkita, sopiiko digitaalisten varojen treidaus tai omistus sinulle taloudellisessa tilanteessasi.