☰

Slo-Tech novice

Aretirali kanadskega pogajalca z izsiljevalskimi skupinami

Slo-Tech - Znani kanadski strokovnjak za kibernetsko varnost in priznani pogajalec s hekerji pri napadih z izsiljevalskimi virusi, Edward Dubrovsky, je bil v četrtek v ZDA aretiran zaradi suma sodelovanja s hekersko skupino ShinyHunters. Aretacijo je potrdil FBI-jev direktor Kash Patel.

Da je aretirani sostorilec prav Edward Dubrovsky, je prvi poročal Reuters. Obtožen je dveh kaznivih dejanj: zarota z namenom grožnje za ogrozitev zaupnosti informacij z namenom izsiljevanja ter poseganje v poslovanje z uporabo groženj.

Skupnost je nad dogodki presenečena, saj je bil Dubrovsky cenjen in priljubljen strokovnjak, ki je nastopal tudi na številnih konferencah. Na področju pogajanja s kiberkriminalci je bil nesporna avtoriteta. Zaposlen je bil pri podjetju CyberSteward, ki se še ni odzvalo.

Skupina ShinyHunters je zaslovela minuli mesec, ko so vdrli v FBI in ukradli podatke o zaposlenih. Kako je Dubrosky povezan s skupino, še ni znano.

0 komentarjev

Claude policiji ponudil informacije o umoru, ki jih ni imel

Slo-Tech - Anthropicov model umetne inteligence je policiji v Filadelfiji lažno prijavil informacije o umoru, so v petek potrdile tamkajšnje oblasti. Claude je namig poslal 18. julija prek spletne strani, na kateri policija zbira informacije, ki bi lahko pomagale pri reševanju starih primerov. Večje škode ni povzročil, ker je njegovo prijavo avtomatski filter označil kot spam in zato ni bila obravnavana. Anthropic je incident odkril 28. septembra in deset dni pozneje prijavil policiji.

Med internim testiranjem modela Claude Haiku 4.5 so mu dali navodila, naj izpolni več na spletu dosegljivih obrazcev, a se ustavi tik pred oddajo. V več primerih je model kljub temu nadaljeval in obrazce oddal, ker je pričakoval, da se bo odprlo še eno okno za potrditev, kjer bi se bil potem ustavil. Anthropic je obnašanje označil kot nenačrtovano vedenje modela, ki so ga opazili med treningom in interno rabo.

V enem primeru se je Claude znašel na spletni strani za oddajo informacij o nerešenih umorih. Čeprav...

1 komentar

GTA VI za osebne računalnike že tri mesece po izidu?

Slo-Tech - GTA VI bo izšla čez dober mesec, a bo 19. novembra na voljo le za konzoli PlayStation 5 in XboX Series X/S. Na osebnih računalnikih bomo morali na igro še malce počakati, kar ni nič presenetljivega, a doslej ni bilo jasno, kako dolgo bo čakanje trajalo. Kot kaže, ne zelo dolgo.

Po poročanju GamesBeata bo GTA VI na osebne računalnike prispel v prvih treh mesecih prihodnjega leta. Rockstar Games datuma še ni potrdil, a običajno so GamesBeatove navedbe točne.

Spomnimo se, da je GTA V na osebne računalnike prispela poldrugo leto po izidu za konzole. Ker marsikdo ni želel čakati od septembra 2013 do aprila 2015, je vmes kupil verzijo za konzolo in seveda konzolo. Sedaj so razmere drugačne. Konzole se prodajajo najslabše v zadnjih letih, razvoj GTA VI pa je bil z več kot dvema milijardama dolarjev tako drag, da želi Rockstar Games čim prej prodati čim več izvodov igre. Prodaja verzije za PC (in tudi drugih) ne bo draga, saj poteka digitalno prek interneta, nad čimer so se zvesti kupci...

3 komentarji

Nagrada v spomin Alfreda Nobela za ekonomijo 2026

Slo-Tech - Razglasitve prejemnikov Nobelovih nagrad se tradicionalno zaključijo s pridruženo nagrado v spomin Alfreda Nobela, ki jo za dosežke na področju ekonomije od leta 1969 podeljuje švedska centralna banka. Letos jo bosta prejela ameriška ekonomista Robert Hall in Michael Woodford za odkritje mikroekonomskih temeljev makroekonomske stabilizacije.

Letošnja nagrajenca sta se ukvarjala s cikli, ki so stalnica modernih gospodarstev. Centralne banke ves čas iščejo ravnovesje med spodbujanjem gospodarstva, kadar ječi, in brzdanjem, ko se pregreva. V arzenal centralne banke sodijo obrestne mere, kvantitativno sproščanje, prodaja in odkupovanje obveznic, pomembni pa so tudi ukrepi širše države, kot so investicije, javna poraba in uravnoteževanje proračuna. Vse to so orodja, ki služijo stabilizaciji gospodarstva, da ne bi bili cikli preveč intenzivni. V idealnem svetu bi z njimi odpravili cikličnost gospodarstva in mirno pluli na gospodarski rasti.

Hall in Woodford sta raziskovala, katera...

4 komentarji

Prodaja avtomobilov z bencinskim motorjem še naprej upada

Slo-Tech - Po podatkih Mobility Global se je v prvi polovici tega leta prvikrat zgodilo, da je delež prodanih vozil z izključno bencinskimi motorji globalno upadel pod 50 odstotkov. Pred petimi leti je ta delež znašal 73 odstotkov, lani je bil že 52 odstotkov, letos pa le še 49 odstotkov oziroma 20,3 milijona vozil. To pa še ne pomeni, da se ljudje množično vozijo na električni pogon.

Prodaja električnih vozil se je povečala za 12 odstotkov na 6,9 milijona, s čimer so osvojili 17 odstotkov trga. Konvencionalni hibridi so dosegli 18 odstotkov trga, preostanek pa odpade na priključne hibride, gorivne celice in tudi dizelske motorje.

Prodaja vozil z bencinskimi motorji se je najbolj znižala na Kitajskem, in sicer za 26 odstotkov, na drugem mestu pa je Evropa s 13-odstotnim upadom. Prodaja električnih vozil v Oceaniji se je več kot podvojila, v Aziji je višja za 81 odstotkov, v Evropi pa za 32 odstotkov. V Evropi je sicer delež precej višji, zato je tudi rast počasnejša. Prodaja električnih...

11 komentarjev

Hekerji napadli francoske hladilnike

Slo-Tech - V francoskih trgovinah so se danes spopadli s hekerskim napadom na njihove hladilnike, zaradi česar so morali zavreči hrano, ki se je nedopustno segrela. Doslej so za francosko tiskovno agencijo verige E. Leclerc, Intermarche in Cooperative U potrdile, da so bile žrtve napada. Po besedah predstavnikov Cooperative U podobnega napada v preteklosti ne beležijo, predvsem ne tako ciljanega.

Prizadetih je bilo več sto trgovin, v katerih naj bi se hladilniki segreli vse do 50 °C. Hekerji so poleg spremembe termostatov izklopili tudi sisteme za opozarjanje na porast temperature, zato so bili hladilniki več ur pregreti. Po nepotrjenih informacijah so izkoristili ranljivosti v programski opremi za krmiljenje in sprožili programe za odtaljevanje.

Danfoss je potrdil, da so bili prizadeti njihovi starejši sistemi AK-SM800 in AK-SC355 ter neposodobljeni AK-SM800A. Na internetu je dostopnih približno tri tisoč naprav s to programsko opremo, med temi polovica v Franciji.

Lani so v teh napravah...

31 komentarjev

Ukrajinski letalniki v protinapadu poškodovali ruska podatkovna centra

Slo-Tech - Ukrajinski napadi z brezpilotnimi letalniki so poškodovali dva podatkovna centra, ki ju v Rusiji uporablja Yandex, tam najpopularnejši spletni iskalnik. Ukrajinski brezpilotni letalniki so podatkovna centra v Sasovem in Kalugi zadeli v četrtek in petek. V tednih pred napadom je Rusija napadala ukrajinsko telekomunikacijsko infrastrukturo v okolici prestolnice, zaradi česar je bilo več kot sto tisoč gospodinjstev začasno brez interneta. Rusija je napadala tudi mobilna omrežja v Ukrajini.

Ukrajinski predsednik je potrdil, da je šlo za povračilni napad, pri katerem so uporabili letalnike FP-1. V napadu na center v Sasovem so uničili dva izmed treh superračunalnikov, ki jih Yandex uporablja za trening svojih modelov umetne inteligence. V napadu ni bilo poškodovanih ali žrtev, beležijo pa v Rusiji težave pri dostopu do več spletnih strani in aplikacij, ki gostujejo pri Yandexu, denimo aplikacija za zmenke Pulse. Izpade beležijo tudi v spletni banki T-Bank in spletnih storitvah ruskih...

14 komentarjev

Zahvaljujoč Claudu lahko številne klasike igrate v brskalniku

Slo-Tech - Moderni modeli umetne inteligence, zlasti Claude Opus 5.5 so izjemno učinkoviti pri vzvratnem inženiringu programske kode, zaradi česar se je v zadnjem času pojavila tudi kopica emulatorjev. Iz izvršilnih datotek igre je s Claudom mogoče hitro pridobiti kodo, ki jo potem prilagodi drugim platformam. Tako smo dobili kopico klasik, ki jih lahko poganjamo kar v brskalniku.

Založniki na to početje ne gledajo z naklonjenostjo in pričakovati je, da se bodo tega početja lotili s sodnimi zahtevki po prenehanju kršitev (cease and desist). A dokler se to ne zgodi - in za najstarejše naslove se morda nikoli ne bo - je na internetu daljši seznam iger, ki jih lahko igramo kar iz brskalnika. GTA 5, Quake 1, Quake 2, Quake 3, Unreal Tournament, Diablo, Return to Castle Wolfenstein in številne druge.

Preizkusili smo jih tudi v praksi in čeprav gre za produkte umetne inteligence, je treba priznati, da se igrajo čisto solidno. Duh je ušel iz steklenice in težko si je predstavljati, da bodo...

32 komentarjev

Pomnilnik je tako drag, da se vrača DDR4

Slo-Tech - Zaradi visokih cen pomnilnika imata težave tudi največja proizvajalca procesorjev AMD in Intel, saj ljudje odlagajo nadgradnjo sistemov, ker bi to terjalo nakup novega pomnilnika DDR5, ki je postal pregrešno drag. Rešitev se skriva v uporabi starejšega pomnilnika DDR4, ki ga je Intel leta 2024 upokojil, sedaj pa se vrača. Gigabyte je že potrdil, da bodo nove plošče spet podpirale DDR4 in DDR5.

Procesorji za ležišče LGA 1700, ki je prispelo z 12. generacijo Intelovih procesorjev, torej Alder Lake, so podpirali DDR4 in tedaj nov DDR5. To je bilo leta 2021, nato pa je Intel počasi opustil DDR4. Novi procesorji, ki bodo izšli prihodnje leto, bodo spet sedli na ležišče, ki bo podpiralo obe generaciji pomnilnika. Podobno je že avgusta Gigabyte najavil tudi za AMD-jeve procesorje, ki bodo na platformi AM4 podpirali tudi DDR4.

V normalnih časih bi bilo nakupovanje ali uporaba desetletja stare tehnologije - DDR4 je z nami od leta 2014 - nora ideja. A ker so cene pomnilnika še bolj nore,...

96 komentarjev

Manjša shramba OneDrive za naročnike Microsoft 365 Family, Premium in Pro

Slo-Tech - Microsoft je obvestil naročnike paketov Microsoft 365 Family, Premium in Pro, da bodo imeli v oblaku manj prostora kot doslej. Doslej so ti dobili 1 TB prostora za vsakega uporabnika do največ 6 TB. Odslej bo prostora manj in bo za vse uporabnike enako, to pa bo seveda manj.

V paketih Family ali Premium bo na voljo 2 TB, za uporabnike Pro pa 5 TB. V praksi bodo torej računi Family ali Premium s šestimi uporabniki izgubili štiri terabajte prostora. Pozitivna stran te spremembe je odprava omejitve 1 TB na uporabnika, torej bo lahko posameznik porabil več, če bodo preostali varčnejši. Microsoft spremembo predstavlja kot povečanje fleksibilnosti, a dejstvo je, da bomo dobili manj. Kdor bo želel več, bo moral dodatno shrambo doplačati.

Za nove naročnike bodo spremembe začele veljati takoj, obstoječi naročniki pa bodo imeli prehodno obdobje. Sprememba jih bo doletela ob podaljšanju naročnine ali najpozneje 2. maja prihodnje leto. Kdor bo kvoto prekoračil, ne bo mogel več shranjevati...

46 komentarjev

Raziskovalci razvili delujoči jedrski uri

Slo-Tech - Najnatančnejše ure so atomske ure, ki za merjenje časa uporabljajo prehode med elektronskimi stanji v nekaterih atomih, denimo v cezijevih. Ker imajo elektronska stanja natančno določene energije, so prehodi med njimi pri stabilnih frekvencah, zato lahko iz nihajev zelo natančno merimo čas. Naslednji korak v razvoju ur so jedrske ure, kjer namesto prehodov med elektronskimi stanji uporabljajo prehod med stanji samih jeder. Najpriročnejši atom je torij-229.

Raziskovalni skupini na Dunaju in Pekingu sta zgradili vsaka svoj delujoči prototip takšne torijeve jedrske ure, o čemer poročajo v reviji Nature (avstrijski članek, kitajski članek). Jedrski uri sta tako natančni, da bi se zmotili za sekundo v nekaj milijonih let, kar je zelo natančno, ne pa rekordno. Najboljše atomske ure so približno 10.000-krat natančnejše, ker gre za zrelo in izpopolnjeno tehnologijo.

Jedrske ure pa so šele na začetku svoje poti in bi v prihodnosti lahko presegle njihovo natančnost. Njihova glavna prednost...

0 komentarjev

Tudi prodaja konzol rekordno slaba

Slo-Tech - Proizvajalci konzol so svoje izdelke zaradi višjih cen pomnilnika podražili, kar se je odrazilo v prodajnih številkah. Konzoli PlayStation 5 in Xbox Series X/S sta tako dražji kot kdajkoli, zato se prodajata slabše kot kdajkoli. V primerjavi z letom poprej je prodaja konzol Xbox strmoglavila za 33 odstotkov, PlayStation pa za četrtino. Nintendo se drži nekoliko bolje, saj je padec zgolj 11-odstoten. To so najslabše številke po daljnem letu 2013.

Vsi trije proizvajalci so v minulih osemnajstih mesecih svoje cene povišali. Xbox se je podražil celo večkrat, tako da Xbox Series X zdaj stane 800 dolarjev oziroma 300 dolarjev več kot ob izidu. PlayStation 5 se je lani podražil s 500 na 550 dolarjev, letos pa na 650 dolarjev. Nintendov Switch 2 je petdeset dolarjev dražji. O razlogih čivkajo že ptiči - seveda gre za dražji pomnilnik. Zaradi povpraševanja za gradnjo novih podatkovnih centrov in postavljanje strežnikov se proizvodne kapacitete preusmerjajo iz navadnega pomnilnika DRAM v...

14 komentarjev

Anthropic odprtokodnim projektom ponudil brezplačno iskanje varnostnih ranljivosti

Slo-Tech - Anthropic je vzpostavil novo storitev OSS Scanner, ki bo odprtokodnim projektom omogočila brezplačno preveritev kode z orodji umetne inteligence za iskanje varnostnih ranljivosti. Na ta način bodo ti lahko prej dobili informacije o morebitnih luknjah, a ponudba ima pomembno past. Šlo bo za avtomatizirane strojne preglede kode, ki jih ne bo preveril človeških strokovnjak. Lahko se torej zgodi, da Anthropic prijavi tudi neobstoječe ranljivosti, saj umetna inteligenca ni stoodstotno zanesljiva.

Podjetje obljublja, da bodo preglede izvajali najzmogljivejši modeli, kot je Claude Mythos. Ti so načeloma zelo zmogljivi in sorazmerno natančni, a problem množičnega prijavljanja bolj in manj resnih ranljivosti ostaja. V preizkusu, ki ga je Anthropic nedavno izvedel, je bilo 85 izmed 97 odkritih ranljivosti resničnih. Preostali so bili podvojeni primeri, že znane ranljivosti ali lažni alarmi.

Podobne projekte je Anthropic že vodil. Glasswing je pregledoval raznovrstno programsko opremo in...

6 komentarjev

Bela hiša osmim podjetjem, tudi Microsoftu, blokirala vlaganje zahtev za zelene karte

Slo-Tech - Ameriška administracija je včeraj za osem podjetij, med njimi tudi Microsoft in Adobe, blokirala program PERM. Gre za mehanizem, po katerem lahko zaposleni z začasnimi vizumi za visokokvalificirana dela (H1-B) pridobijo dovoljenje za stalno prebivanje, tako imenovano zeleno karto. Trajanje zamrznitve ni časovno opredeljeno, razlog pa so domnevne nepravilnosti in zlorabe, česar neodvisni podatki ne podpirajo. V Beli hiši so napovedali tudi preiskave devetih univerz, med njimi tudi Harvarda, Yala, Stanforda, MIT-a in Browna, zaradi domnevnih zlorab vizumske zakonodaje za mednarodne izmenjave.

Podpredsednik J.D. Vance trdi, da Microsoft množično zlorablja mehanizem PERM, saj naj bi podjetje lani odpustilo 6000 ameriških državljanov, zaposlilo 6300 tujcev prek vizuma H1-B in za 3000 zaposlenih sponzoriralo zelene karte. Microsoft je največji uporabnik mehanizma PERM, je pa tudi eden največjih delodajalcev v tehnološkem sektorju. V postopku PERM mora delodajalec dokazati, da podelitev...

11 komentarjev

Prodaja računalnikov strmoglavila

Slo-Tech - Upad prodaje računalnikov se nadaljuje, saj cene zaradi pregrešno dragega pomnilnika strmo rastejo. Prvi podatki International Data Corporation (IDC) kažejo, da se je v minulem četrtletju prodaja znižala za 20 odstotkov v primerjavi z enakim obdobjem lani, kar je največji četrtletni padec, odkar zbirajo podatke. V preteklih treh mesecih je bilo prodanih 62,7 milijona računalnikov, lani v tem času pa kar 78,5 milijona. Tudi v primerjavi z drugim letošnjim kvartalom je prodaja padla, saj je bilo tedaj prodanih 69 milijonov računalnikov. Običajno v tretjem kvartalu prodaja zaradi začetka šolskega leta naraste.

A časi niso običajni, temveč hudo zaostreni. Pomnilnik in SSD-ji se dražijo kot še nikoli, ker so podjetja za storitve umetne inteligence zakupila ogromne količine čipov, ki bodo šli v njihove računalniške centre. Proizvajalci pomnilnika jih preferirajo, ker so sposobna plačati več, nekateri celo preusmerjajo proizvodnjo, denimo Micron, ki ukinja DRAM zavoljo dobičkonosnejšega...

114 komentarjev

Umrla je Margaret Hamilton

Slo-Tech - V 91. letu starosti je umrla Margaret Hamilton, pionirka v programiranju in ključna znanstvenica, ki je omogočila pristanek na Mesecu. Njena programska oprema je bila zaslužna, da so odprave Apollo pristale na našem satelitu. Delala je v laboratoriju za instrumente na MIT-u, kjer je vodila razvoj programske opreme za Apollo Guidance Computer. Izmislila si je termin programski inženir, da bi svoje delo razlikovala od drugih vrst inženirstva. Kasneje je ustanovila podjetji na področju programske opreme.

Še preden se je začela ukvarjati s pristankom na Mesecu, je pisala programe, ki bi zaznali sovražna letala. Nato je njej laboratorij k sodelovanja povabila NASA. Seveda Margaret Hamilton ni sama pisala vse kode, temveč je vodila skupino sto inženirjev, ki so se ukvarjali z vsemi vidiki programske opreme za pristanek na Mesecu. Bili so pionirji področja, kar je bila tudi glavna draž, kot je kasneje povedala. Želela je storiti nekaj, kar še ni bilo storjeno.

Leta 1955 se je vpisala...

18 komentarjev

ICANN razkril prijave za nove vrhnje domene

Slo-Tech - ICANN (Internet Corporation for Assigned Names and Number) je razkril prijave za nove vrhnje domene (gTLD), ki jih je začel zbirati 30. aprila letos. Do zaključka prijavnega obdobja 12. avgusta je prejel 1.615 prijav, med katerimi jih je polovica iz Severne Amerike, tretjina pa iz Evrope. Le 11 in 16 prijav je iz Latinske Amerike in Afrike. Večina prijav se nanaša na umetno inteligenco, precej pa je tudi blagovnih znamk.

Domene namreč razvrstimo v dve skupini: blagovne znamke, kot so .apple, .meta ali .microsoft, in obča poimenovanja, denimo .superintelligence (da, nekdo si je dejansko zaželel tako dolge domene). Najbolj zaželene domene so .agent (13), sledijo .bit (11), .api, .brand in .hub (po 10). Po drugi strani so podjetja želela rezervirati čim več svojih znamk, denimo .copilot, .msft in .gpt. Ali bo kdo dejansko uporabljal .wearables, ki jo želi Meta, je drugo vprašanje.

Med 8. in 21. oktobrom lahko prijavitelji z vnaprej prijavljenimi alternativami spremenijo svoje...

0 komentarjev

Še dober mesec do obveznega prehoda z Bitstampa na Robinhood

Slo-Tech - Robinhood je že pred dvema letoma prevzel Bitstamp, sedaj pa se spajanje preveša v zaključno fazo. Prihodnji mesec na platformi Bitstamp, ki sta jo ustanovila Slovenca Nejc Kodrič in Damian Merlak, nato pa leta 2018 80-odstotni delež prodala skladu NHXM, ne bo več mogoče trgovati s kriptovalutami.

Nekateri uporabniki Bitstampa bodo že prihodnji teden do računa dostopali prek aplikacije Robinhood. Računi uporabnikov ostajajo pri družbi Bitstamp Europea S.A., le uporabniški vmesnik in tehnologija bosta pod okriljem Robinhooda. Poslovni uporabniki bodo ostali na platformi Bitstamp. Uporabnikom v nobenem primeru ni treba storiti ničesar, vsa njihova sredstva se bodo prenesla avtomatično, bodo pa potrebovali novo aplikacijo.

Prehod bo postopen. Bitstamp bo 15. oktobra začel posamezne stranke preusmerjati na Robinhood. Za prehod bodo imeli mesec dni časa, to je do 14. novembra. Tedaj bo na Bitstampu trgovanje onemogočeno, izpiski in zgodovina transakcij pa bodo še nekaj časa ostali.

...

26 komentarjev

Nobelova nagrada za kemijo 2026

[dodaj]

Slo-Tech - Nobelova nagrajenca za področje kemije sta letos postala francoski kemik Henri B. Kagan in japonski kemik Kenso Soai. Nagrado prejmeta za odkritje nelinearnih učinkov in avtokatalizi v asimetrični organski sintezi. Njune raziskave segajo že v 80. leta minulega stoletja, dotikajo pa se ene največjih skrivnosti življenja: zakaj neki je živa narava sestavljena samo iz ene od dveh zrcalnih slik molekul.

Velika večina molekul ni simetričnih, zato lahko obstajajo v dveh zrcalnih oblikah, ki jima pravimo enantiomera. Takšne kiralne molekule gradijo tudi živi svet, evolucija pa je bila sila izbirčna. Praktično vsi sladkorji so desne oblike, aminokisline so leve oblike in tako dalje. Zrcalne slike sicer povsem običajnih molekul so živemu svetu tuje in nekoristne. Pri klasični kemijski sintezi je drugače, saj je iz preprostih, nekiralnih spojin nastala mešanica obeh enantiomerov produktov. Pri sintezi zdravil, ki morajo biti pogosto kiralna, je to v najboljšem primeru le neučinkovitost, saj...

2 komentarja

Google predstavil izboljšani detektor za izdelke umetne inteligence

Slo-Tech - Google je predstavil novo verzijo detektorja za prepoznavanje izdelkov umetne inteligence, ki išče skrivne vzorce SynthID. Te vodne žige v vsebine, ki so nastale z umetno inteligenco, vstavijo Gemini in nekateri drugi modeli. Človeškemu očesu niso vidni, kakovosti vsebine ne spremenijo opazno, a za seboj pustijo jasno sled.

SynthID se na primer vkodira v slike, videoposnetke in glasbo, ki jo ustvari Gemini. Google pravi, da je doslej s SynthID opremil že 180 milijard slik in za 240.000 ur avdio posnetkov. Doslej je bil edini način za prepoznavanje teh vsebin vprašati Gemini. Odslej se lahko obrnemo na SynthID, kamor naložimo vsebino in preverimo, ali nosi podpis. Njegova glavna pomanjkljivost je omejenost na Geminijev SynthID, tako da ne prepozna izdelkov OpenAI. Za zdaj.

V pripravi je nova verzija, ki bo podpirala tudi druge modele, denimo podjetij OpenAI, Nvidia, Kakao in Apple. Še vedno pa pomembne omejitve ostajajo, saj orodja prepoznavajo le vsebine, ki vsebujejo namerni...

5 komentarjev

OpenAI rešil na stotine matematičnih problemov

Slo-Tech - Če smo še pred mesecem dni pisali, da je OpenAI s svojim agentom rešil enega najbolj znanih matematičnih problemov, lahko to pot predmet postavimo v množino. OpenAI je z internim modelom, ki še ni dostopen javnosti, objavil dokaze več sto matematičnih problemov. Matematiki jih še niso ročno preverili, prve analize s formalnim jezikom Lean pa kažejo, da bi dokazi lahko bili pravilni.

OpenAI seveda ni nič bolj naklonjen matematiki kot kakšnim drugim vedam, a izkorišča njeno prednost. Za razvoj in testiranje svojih modelov potrebuje čim težje probleme, matematični izzivi pa imajo zelo jasno pot za preveritev rezultata. Težko je reči, ali je model napisal boljši sonet od Prešerena, medtem ko je matematični dokaz mogoče formalno in rigorozno preveriti. Nerešeni problemi v matematiki so zato dragocena vadbišča za modele.

In tako je OpenAI na GitHub odložil dokaze za 372 problemov. Večino je Lean že preveril in potrdil, zato je sedaj žogica na strani matematikov. OpenAI dodaja, da je...

17 komentarjev