Umetna inteligenca je že nekaj časa sposobna dokazovanja preprostih matematičnih izrekov, sedaj pa smo dobili prvo rešitev dotlej nerešenega matematičnega problema. ChatGPT-5.4 Pro je rešil enega izmed Erdősovih problemov, katerega dokaz se je izmikal 64 let. Še toliko neverjetnejši je človek, ki je dokaz želel. ChatGPT je problem rešil, ker mu je tako naročil 23-letni Liam Price, ki ni poklicni m... slotech več »
Več iz medija
Začela se je bitka titanov: Musk proti Altmanu
V ponedeljek so imenovali poroto, sedaj pa v Kaliforniji že dva dni poteka odmevni sodni proces, v katerem sta nasprotnika Elon Musk in Sam Altman. Oba sta... slotech več »
Google Translate je star 20 let
Do vznika velikih jezikovnih modelov najpopularnejše spletno orodje za prevajanje te dni praznuje 20 let. Google je svoj izdelek, preprosto poimenovan... slotech več »
Na tokijskem letališču bodo prtljago razvrščali roboti
Humanoidni roboti resda lahko tečejo polmaratone, a precej koristneje bi jih bilo uporabiti za vsakdanja opravila, denimo rokovanje s prtljago. Na letališču v... slotech več »
Evropska komisija: Google mora odpreti Android za vse umetne...
Evropska komisija od Googla zahteva, da bolj odpre platformo Android za različne ponudnike umetne inteligence. Pred tremi meseci so začeli predfazo preiskave,... slotech več »
Kitajska Meti onemogočila dvomilijardni prevzem
Kitajski regulator trga ni izdal soglasja, da bi Meta prevzela singapursko podjetje Manus, ki se ukvarja z umetno inteligenco. Po dogovoru bi morala Meta zanj... slotech več »
OpenAI in Microsoft razdrla ekskluzivni odnos
Microsoft in OpenAI sta sporazumno spremenila pogodbo, ki je podjetji postavljala v ekskluzivni odnos. Ta bo odslej bolj fleksibilen in odprt, s čimer bo več... slotech več »
EU odobrila kombinirano cepivo mRNA proti gripi in covidu
Evropska agencija za zdravila je minuli teden odobrila prvo kombinirano cepivo mRNA proti gripi in covidu. Cepivo mCOMBRIAX je razvila Moderna in bo odslej na... slotech več »
ChatGPT 5.4 Pro rešil 64 let star matematični problem
Umetna inteligenca je že nekaj časa sposobna dokazovanja preprostih matematičnih izrekov, sedaj pa smo dobili prvo rešitev dotlej nerešenega matematičnega... slotech več »