Kdo sploh še potrebuje matematike?
OpenAI je prestavil v višjo prestavo in na svojem GitHubu objavil rešitve več sto matematičnih problemov, ki so v skupnosti leta veljali za nerešene trde orehe, čakajoč na rešitev. OpenAI že nekaj mesecev svoje modele umetne inteligence uporablja za reševanje matematičnih problemov, a doslej je šlo počasi. Navier-Stokesovo domnevo je reševalo 10.000 agentov, ki so potrošili za 15 milijonov dolarjev računske moči. Sedaj pa so v enem zamahu strli vsaj 372 orehov.
Dosežek je brez dvoma velik, a odpira tudi več vprašanj. Najbolj očitno je seveda vprašanje, ali so vse rešitve pravilne. OpenAI trdi, da so dokaze preverili s programskim jezikom Lean, ki je namenjen formalni preveritvi logične pravilnosti sklepov. Preverjenih je približno polovica dokazov.To še ne pomeni, da so dokazi tudi pravilno, je pa prvi korak.
Umetna inteligenca je znana tudi po halucinacijah in nerazumevanju. Nobene garancije ni, da so njeni izdelki smiselni, zato se bodo morali skozi vseh 372 dokazov prebiti ljudje, torej profesionalni matematiki. Gre za ogromen zalogaj, ki bo trajal leta.
- OpenAI razkriva, kako v resnici deluje umetna inteligenca, 30. 12. 2025
- OpenAI predstavil umetno inteligenco, ki je menda pametnejša od ljudi, 4. 9. 2026
In to nas pripelje do končnega vprašanja, čemu služi reševanje matematičnih problemov. Če jih želimo rešiti zavoljo rešitev samih, ker bo to izboljšalo stanje tehnike, so OpenAI-jeve rešitve kot naročene. Če pa so nameni drugačni, denimo za širši razvoj matematike, za urjenje novih rodov matematikov, za iskanje novih poti v matematiki – potem OpenAI-jevi rezultati niso tako zelo koristni. Matematiki so že povedali, da je OpenAI s tem lastnoročno pokopal vrsto raziskovalnih projektov, ki trenutno tečejo.
Objokovanje nekih starih časov je seveda neproduktivno, duh pa je ušel iz steklenice. Umetna inteligenca je tu in se izboljšuje. Zakaj se OpenAI osredotoča prav na matematične probleme, ni težko razumeti. Želijo res težke naloge, ki priženejo modele do skrajnosti, a imajo po drugi strani objektivno preverljive rešitve. Matematika je za to idealna. In matematika je naslednja veda, ki se bo zaradi umetne inteligence morala spremeniti.
