Slo-Tech - Pred šestindvajsetimi leti je Clay Mathematics Institute of Cambridge sestavil seznam sedmih nerešenih problemov v matematiki, za katerih rešitev so razpisali visoke nagrade (Millennium Prize Problem). Doslej je bila rešena le Poincaréjeva domneva, ki jo je eruditski matematik Grigorij Pereljman dokazal leta 2002. Sedaj OpenAI trdi, da je njihov model umetne inteligence rešil še enega izmed teh problemov. Dokazal naj bi obstoj in gladkost rešitev Navier-Stokesovih enačb.

V minulih mesecih so različni modeli umetne inteligence rešili že več matematičnih problemov. Verjetno je najbolj znan primer, ko je ljubiteljski matematik pognal ChatGPT Pro in mu naročil, naj reši enega izmed Erdősovih problemov. Poldrugo uro kasneje se je to tudi zgodilo. Najnovejši dosežek pa je še bistveno pomembnejši, ker gre za skoraj stoletje star problem z velikim pomenom. OpenAI je pojasnil, da je 10.000 agentov dobrih 88 ur mlelo problem, nato pa ga strlo.

Ali je rešitev pravilna, matematična skupnost...

Slo-Tech - Po dostopnih podatkih je OpenAI-jev model umetne inteligence med 11. in 13. julijem vdrl v infrastrukturo podjetja Hugging Face, ki nudi repozitorije za modele umetne inteligence, podatkovne zbirke zanje in ostale povezave aplikacije. Po poročanju Reutersa je OpenAI šele teden dni pozneje ugotovil, kaj se dogaja. OpenAI in Hugging Face pa sta se o incidentu začela pogovarjati šele 20. julija, nato pa so incident javnosti razkrili 21. julija.

V Hugging Faceu pripravljajo podrobno časovnico dogodkov, ki jo bodo javno objavili. V OpenAI pa pravijo, da gre za prelomen trenutek, ki bo vplival na varnost. Podrobnosti incidenta še niso znane, poznamo pa grobe obrise. OpenAI je testiral najnovejši in najzmogljivejši model, da bi dognal njegove zmogljivosti, kar je terjalo tudi izklop nekaterih varovalk. Preverjali so njegove sposobnosti na področju kibernetske varnosti, cilj je bil rešiti več hekerskih nalog. Model je torej zasledoval jasno definiran cilj (preizkus ExploitGym z 900...

Slo-Tech - Na letošnji matematični olimpijadi, ki velja za najprestižnejše in najtežje tekmovanje iz matematike na preduniverzitetnem nivoju, bi umetna inteligenca že premagala veliko večino tekmovalcev. Googlov Gemini bi osvojil zlato medaljo, kar bi ga uvrstilo med osem odstotkov najboljših tekmovalcev. Po lastnih navedbah naj bi to uspelo tudi modelu OpenAI, ki pa je rezultate ocenil sam.

Modeli umetne inteligence niso prvikrat tekmovali na istih nalogah kot dijaki na matematični olimpijadi, a še nikdar niso bili tako uspešni kakor letos. Google je svoj Gemini Deep Think certificiral pri prirediteljih, tekmoval je pod povsem enakimi pogoji kot ljudje. Uporabljal je modela AlphaProof in AlphaGeometry 2, ki sta naloge prejela v človeškem jeziku, nato pa je imel štiri ure in pol časa, da je rešil prve tri, nato pa še toliko za druge tri. Povsem enako torej kot tekmovalci.

Lani je Google še potreboval prevod nalog v strojni jezik, letos pa to ni bilo več potrebno. Model so urili na nalogah...

Slo-Tech - Na tekmovanju v programiranju AtCoder World Tour Finals 2025 Heuristic, ki je v sredo potekalo v Tokiu, je poljski tekmovalec Przemysław Dębiak premagal OpenAI-jevo umetno inteligenco. Tekmovanje je trajalo 10 ur, v tem času pa so morali tekmovalci rešiti eno samo nalogo. Kodo so lahko pisali v poljubnem jeziku izmed približno petdesetih možnosti.

Platforma AtCoder že dlje časa prireja različna tekmovanja iz programiranja, to pot pa je vanje vključila tudi umetno inteligenco. OpenAI je bil namreč med sponzorji, zato je smel svoj model prijaviti med tekmovalce. In odrezal se je nadvse dobro, saj je moral šele v finalu priznati premoč Poljaku. Ta je po tekmovanju, vidno izmučen, dejal, da je človeška inteligenca za zdaj še prevladala, a da je komajda preživel. S tem je seveda mislil na izčrpanost zaradi dolgega tekmovanja.

Na AtCoder World Tour Finals je bilo vabljeni 12 najboljši programerjev na svetu glede na rezultate prejšnjih tekmovanj. V kategoriji Heuristic se osredotočajo...

Slo-Tech - Konec oktobra je OpenAI svoji umetni inteligenci ChatGPT dodal težko pričakovano funkcijo, kjer ga je konkurenca v resnici prehitela. ChatGPT je postal tudi iskalnik po spletu, torej po spletnih straneh v realnem času. Za zdaj je novost na voljo le za naročnike plačljive različice, v prihodnosti pa naj bi jo dobili tudi institucionalni uporabniki (vzgoja in izobraževanje) ter domači uporabniki brezplačne inačice.

Marsikdo je že doslej uporabljal ChatGPT kot iskalnik informacij, četudi je tovrstna raba tvegana zaradi halucinacij. A umetna inteligenca lahko deluje tudi kot iskalnik, če jo prisilimo v uporabo ažurnih virov ter v njihovo citiranje. Microsoftov Copilot to že zna, takisto se uči tudi Googlov Gemini. ChatGPT pa je bil doslej omejen na znanje, ki ga je osvojil do začetka urjenja - torej trenutno 2023.

OpenAI bi lahko funkcijo zagnal kot ločeno storitev, a jo je namesto tega integriral v obstoječi ChatGPT. Filozofija podjetja pravi, da je uporabnikom prijazneje nuditi vse...

Slo-Tech - Po podatkih The Wall Street Journala se Apple resno zanima za vložek v OpenAI, s čimer bi si kupil vstopnico v prvi razred umetne inteligence. OpenAI se namreč pripravlja na nov krog financiranja, ki bo potekal po vrednotenju podjetja na okoli 100 milijard dolarjev. Ta krog financiranja upravlja Thrive Capital, v njem pa bosta izmed največjih sodelovala še Microsoft in Nvidia.

Slednji je bil doslej največji partner in investitor v podjetje, saj ima v OpenAI kar 49-odstotni delež. Leta 2019 je v podjetje vložil 13 milijard dolarjev. Apple pa je junija ob razvoju Apple Intelligence (AI) dejal, da je OpenAI strateški partner. AI bo znala osnovna opravila, denimo pametno iskanje, medtem ko bo zahtevnejše naloge opravljal ChatGPT iz OpenAI. To partnerstvo želi Apple sedaj poglobiti in zakoličiti še z vpisom v lastniško strukturo. Apple se v resnici pogovarja z več ponudniki, saj se zanima tudi za partnerstvo z Googlom (model Gemini), Meto, Anthropicom in Perplexityjem. Zanimivo je, da...

Slo-Tech - Tudi Microsoft ima svojega strica iz ozadja, ki je Bill Gates, piše Business Insider. Čeprav je kot direktor podjetja odstopil že davnega leta 2000, dve desetletji pozneje pa je zapustil tudi upravni odbor, je Gates še vedno eden izmed ključnih strategov podjetja, h kateremu se po nasvete obračajo vodstvo in zaposleni. Gates je bil tudi glavni zagovornik velikih investicij v umetno inteligenco, zlasti OpenAI.

Leta 2019 so bili v Microsoftu močno zaskrbljeni, da jih bo Google na tem področju prehitel. Tehnični direktor Kevin Scott je v enem izmed elektronskih sporočil opozoril izvršnega direktorja Satyo Nadello in Billa Gatesa, da je funkcija samodokončaj v Gmailu že "strašljivo dobra". Dodal je, da je Microsoft na področju strojnega učenja več let v zaostanku. To je bil eden izmed razlogov, da je Microsoft hitro investiral v OpenAI, kamor je namenil milijarde. Leta 2019 je v OpenAI vložil prvo milijardo, kar se je izkazalo kot vizionarska poteza.

Danes je namreč situacija...

Slo-Tech - Končala se je 62. mednarodna matematična olimpijada, ki je letos potekala podobno kot lani formalno v Sankt Peterburgu, v praksi pa na daljavo. Slovenska ekipa je na olimpijadi osvojila dve bronasti medalji. Medalji sta osvojila Lovro Drofenik (15 točk in 180. mesto) in Nejc Amon (14 točk in 218. mesto), oba s I. gimnazija v Celju, Jaka Vrhovnik (I. gimnazija v Celju) in Juš Kocutar (II. gimnazija Maribor) pa pohvalno za v celoti rešeno vsaj eno nalogo. Tekmovala sta še Lana Prijon (Gimnazija Bežigrad) in Gal Zmazek (Gimnazija Ptuj).

Zaradi epidemije je tudi letos tekmovanje potekalo na daljavo. Prireditelji so naloge tri ure pred tekmovanjem poslali državnim mentorjem, ki so jih prevedli v lokalne jezike, nato pa so tekmovalci istočasno in pod videonadzorom po vsem svetu reševali naloge. Te so morali potem skenirati in poslati v Rusijo na ocenjevanje, hkrati pa so jih ocenili tudi doma. Na tekmovalna dneva so imeli tekmovalci na voljo 4 ure in pol za reševanje nalog. Zaradi tega...