Z umetno inteligenco do zlate medalje na Mednarodni matematični olimpijadi

Oba sistema sta v letošnji izvedbi sodelovala z uporabo pristopa, ki ne zahteva posrednega prevajanja matematičnih nalog v strojno berljivo obliko. Za razliko od lanskega pristopa Googla, ki je temeljil na t. i. formalnem sistemu, so tokrat uporabili modele, ki delujejo neposredno z naravnim jezikom in samostojno generirajo odgovore na osnovi dokazovanja.

Po podatkih podjetij so njihovi sistemi pravilno rešili pet od šestih nalog, kar predstavlja rezultat, ki ga doseže le majhen delež najboljših dijakov na olimpijadi. Ob tem poudarjajo, da so se modeli tokrat prvič izkazali v zahtevnejšem okolju, kjer naloge zahtevajo razumevanje kompleksnih matematičnih konceptov brez pomoči človeškega prevoda.