🧠 Kimi K3.1 Pro: milionový kontext a silnější coding
Moonshot představil Kimi K3.1 Pro s milionovým kontextem a vylepšeními v programování, 3D tvorbě a agentních úlohách. Model je dostupný přes web a API, ale plné váhy firma slibuje až do 4. listopadu; rychlejší varianta Highspeed má podle výrobce nabídnout dvojnásobnou až trojnásobnou rychlost.
💻 NVIDIA vydala malý lokální model Bolt E4B
Nemotron 3.5 Bolt E4B míří na lokální asistenty, herní postavy a robotická či IoT rozhraní. Nabízí 64tisícový kontext, volání nástrojů a přepínatelné uvažování; označení 4GB představuje cílový profil výrobce, nikoli univerzální záruku celkové spotřeby paměti.
🔓 MiniMax M3.1 Flash má zveřejněné váhy
Novinkou je zveřejnění vah M3.1 Flash, nikoli první uvedení API z 19. října. Multimodální MoE model má podle dokumentace přibližně 428 miliard parametrů, 23 miliard aktivních na token a až milionový kontext; váhy podléhají licenci MiniMax Community, ne běžné permisivní open-source licenci.
🔬 Claude pomohl formálně ověřit 123 knihoven
Anthropic a Theorem uvádějí strojově ověřované důkazy bezpečnostních vlastností pro 239 vstupních bodů ve 123 open-source knihovnách; při jejich tvorbě našli i dlouho skryté chyby. Nejde o důkaz úplné bezchybnosti: záruky platí pro vymezené vlastnosti a předpoklady, například jednovláknové statické RISC-V programy a vstupy menší než 64 MB.
🤖 Digit 5 sjednotí výpočetní platformu na NVIDIA Thor
Agility Robotics oznámila, že Digit 5 použije moduly NVIDIA IGX Thor a rozšíří integraci bezpečnostní platformy Halos. Jde o přípravu širšího nasazení humanoidů ve výrobě a skladech, ne o okamžité zahájení prodeje: early access firma očekává v první polovině roku 2027.
🌍 OlmoEarth 1.3 otevírá satelitní AI celému světu
Ai2 zveřejnilo OlmoEarth 1.3, předpočítané globální embeddingy v desetimetrovém rozlišení a prohlížeč map bez přihlášení. Data lze využít třeba pro mapování plodin nebo změn krajiny pomocí malého klasifikátoru, bez nutnosti znovu zpracovávat celou sbírku satelitních snímků.