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.
