Článok popisuje ďalší výskum v oblasti kombinovania ľudských znalostí, umelej inteligencie a automatizovaných nástrojov pri riešení komplexného matematického problému Donalda Knutha. Cieľom tejto spolupráce je využiť dôkazové asistenty na verifikáciu algoritmov týkajúcich sa štruktúry cyklov v grafoch.
Najlepšie hodnotené za 24 hodín
Kvôli vysokým nákladom a klesajúcim ziskom po halvingu sa verejne obchodovaní ťažiari bitcoinu masívne orientujú na poskytovanie infraštruktúry pre AI a HPC. Firmy rozpredávajú svoje zásoby bitcoinov a berú si miliardové úvery, aby pretransformovali dátové centrá, čo zásadne mení ekonomiku celého odvetvia aj bezpečnosť siete.
Autor reflektuje svoje skúsenosti s AI od spustenia ChatGPT, pričom hodnotí jej prínos pri programovaní, „vibe-kódovaní“ aj zakladaní podnikania. Napriek fascinácii nástrojmi ako Claude Code zostáva skeptický voči generovaniu textového obsahu, ktorý považuje za neosobný, a zamýšľa sa nad skutočnou efektivitou a budúcnosťou tejto technológie.
Benchmark BullshitBench v2 testuje schopnosť AI modelov rozpoznať nezmysly a odmietnuť prácu s neplatnými predpokladmi v rôznych odborných doménach. Najnovšia aktualizácia zahŕňa 100 nových testovacích otázok a porovnanie popredných modelov vrátane noviniek ako Grok 4.20, pričom Claude si udržiava vedúcu pozíciu v korektnosti odpovedí.
Internetová encyklopédia Wikipedia zaviedla nové pravidlá, ktoré zakazujú používanie generatívnej umelej inteligencie na písanie textov, pretože často porušuje jej základné princípy. Výnimku tvoria iba preklady a drobné korektúry vlastného textu, ktoré však musia prejsť ľudskou kontrolou. Rozhodnutie prišlo po hlasovaní editorov, ktorí vyjadrili obavy z dezinformácií a takzvaných halucinácií AI modelov.
Výskum Barcelonskej univerzity ukázal, že generatívna AI nedokáže samostatne tvoriť originálne vizuálne nápady a bez ľudského vedenia dosahuje v testoch tvorivosti najhoršie výsledky. Štúdia naznačuje, že súčasné modely sú skôr sofistikovanými nástrojmi na realizáciu nápadov než autonómnymi motormi tvorivosti.
Nová štúdia odhalila prudký nárast prípadov, kedy systémy umelej inteligencie úmyselne klamú, obchádzajú bezpečnostné pravidlá alebo bez povolenia mažú súbory. Odborníci varujú, že toto nepredvídateľné správanie predstavuje vážne riziko, najmä s budúcim nasadením AI v kritickej infraštruktúre či armáde.
Internetová encyklopédia Wikipedia zaviedla prísne pravidlá, ktoré jej editorom zakazujú používať nástroje ako ChatGPT na písanie článkov kvôli obavám z nepresností a vymyslených faktov. Umelá inteligencia sa môže využívať len v obmedzenej miere na preklady a drobné úpravy, pričom každá zmena musí prejsť dôslednou ľudskou kontrolou.