o0o0o0o / 007 13.11.2026.
Dokaz umesto obećanja
AI agenti su dokazali kod Signala. Kompanije potpisuju brojke koje se mogu proveriti.
Uvodnik
Prošli broj pratio je bitku za kod. Ovaj ide korak dalje, do pitanja koje dolazi posle svakog koda: kako da znamo da radi ono što tvrdimo?
Google DeepMind je 10. novembra objavio da su AI agenti matematički dokazali ključna bezbednosna svojstva stvarnog koda biblioteke libsignal, i to na nivou mašinskog koda. Isti dan Anthropic je u dopuni prijave za berzu izneo brojke koje mora da potpiše pred regulatorom. OpenAI je opisao prekidač koji zaustavlja modele za najviše 35 sekundi i koji se gasi na bezbednu stranu. CISA je za pet dana u katalog aktivno iskorišćenih ranjivosti upisala jedanaest novih stavki.
U ovom broju
Sadržaj
- 04UvodnikŠta se može proveritiZašto je tema sedmog broja dokaz.
- 05Tema brojaDokaz umesto obećanjaPet pitanja kroz ceo broj.
- 06Tema brojaSignal je dokazan do mašinskog kodaAlphaProof Code i libsignal.
- 07Tema brojaSpecifikacija, agenti, Leanovo jezgroKako je dokaz nastao.
- 08Tema brojaŠta je dokazano, a šta nijeGranice dokaza iz samog rada.
- 09Tema brojaDve stare greške kao ispitDa li specifikacija hvata prave greške.
- 10Tema brojaGodine rada postaju nedeljeOd seL4 do Fermaa.
- 11Model watchFable 5.2 i Mythos 5.2: isti model, dva pristupaJeftiniji i brži najjači Claude.
- 12Model watchŠta pokazuju brojke, i čije suTestovi koje je objavio Anthropic.
- 13Model watchGemini 4: Carbon za sve, Hydrogen za brz radDva modela u tri dana.
- 14Model watchSkup planer, jeftin izvršilacZašto se modeli sve češće prodaju u paru.
- 15Model watchModeli nedeljePet modela, sa statusom i cenom.
- 16WorkAI više ne čeka u prozoru za chat.Četiri dana, osam proizvoda za firme.
- 17WorkClaude dobija tabele, table i podatkeSheets, Whiteboards i Data.
- 18WorkClaude na sastanku: ko sme da slušaMeetings i pravila privatnosti.
- 19WorkAgenti unutar vašeg perimetraManaged Agents na sopstvenoj infrastrukturi.
- 20WorkFirme ulaze u ChatGPT, ChatGPT ulazi u AWSBusiness Hub, agenti firmi i AWS.
- 21WorkAgenti po meri industrijeImagine Enterprise i Claude for Manufacturing.
- 22SecurityPrekidač koji radi i kada sve ostalo padneOpenAI Control Room.
- 23SecurityZašto je prekidač u sloju inferencijejob_id, provera i fail closed.
- 24SecurityAI nalazi greške. I napadači takođe.OpenSSH, Outlook i Hacktron.
- 25Patch nowZakrpiti odmahČetiri stavke sa potvrđenom eksploatacijom.
- 26SecurityJedanaest potvrđenih napada za pet danaSvi novi upisi u KEV.
- 27SecurityDva lanca: root na uređaju i heš iz porukeBarracuda i Outlook detaljno.
- 28MoneyAnthropic kreće na berzu, sa oznakom ANTRoadshow, raspon cene i S-1/A.
- 29MoneyPrihod raste, ali ne tako zauvekPrihod, gubitak i kupci iz prospekta.
- 30Money900,9 milijardi dolara obavezaŠta je Anthropic već obećao da plati.
- 31MoneyCoreWeave: rekordan prihod, rekordan dugTreći kvartal najvećeg neoklauda.
- 32MoneyNebius: kupci plaćaju izgradnju unapredAvansi umesto duga, uz kašnjenje.
- 33LabHumanoidni robot na fabričkoj traciGemini Robotics 2.5 i Apollo 2.
- 34LabSpretnost, brzina i bezbednost oko ljudiŠta DeepMind meri, i šta ne.
- 35LabAlphaGenome 2 čita DNK ćeliju po ćelijuOd prosečnog tkiva do pojedinačnih ćelija.
- 36LabDvostruko više uzročnih varijantiTenK10K i primer bolesti creva.
- 37OrbitMoon Base postaje program nabavkeUgovori od 10 milijardi i nuklearni rover.
- 38OrbitRover koji preživljava lunarnu noćPROMISE i radioizotopska energija.
- 39OrbitUgovori stižu, misije kasneMoon Base 1, 2 i 3 kližu u 2027.
- 40OrbitESCAPADE je krenuo ka MarsuDva motorna preleta Zemlje uspela.
- 41BuildTajne u logovima i alarmi koji se gaseGitHub i Vercel ove nedelje.
- 42Use thisAgent kome firma može da verujeVodič u četiri koraka, sa TypeScript primerima.
- 43Use thisPrekidač koji se gasi na bezbednu stranuProvera pre svakog poziva modela.
- 44Use thisAgent ne vidi ključ i ne bira adresuProxy sa listom dozvoljenih hostova.
- 45Use thisNepovratno čeka čoveka, sve ostaje zapisanoOdobrenje i zapis svakog koraka.
- 46ShippedStiglo ove nedeljeŠta je zaista dostupno.
- 475 minutesUkratkoKratke vesti nedelje.
- 48BrojkeNedelja u brojkamaŠesnaest brojki na dve strane.
- 49BrojkeJoš brojki nedelje
- 50NextŠta pratimoDatumi posle preseka.
- 51IzvoriSvi izvori brojaSvi izvori, po stranama.
