Anthropic zverejnil formálny Lean dôkaz Fermatovej poslednej vety
Anthropic publikoval rozsiahlu formalizáciu už známeho dôkazu Fermatovej poslednej vety v Lean 4. Kód je verejný a podľa dokumentácie prešiel viacerými kontrolami.
Kategória Umelá inteligencia
Najnovšie správy zo sveta umelej inteligencie, generatívnych modelov, AI agentov, robotiky, čipov, automatizácie a technologických firiem, ktoré formujú ďalší vývoj AI.
NHTSA preveruje samocertifikáciu Tesla Cybercab po nasadení v Austine
Americký regulátor NHTSA otvoril Audit Query k samocertifikácii Tesla Cybercab. Preveruje technické podklady k vozidlu bez trvalo pripevneného volantu a pedálov.
Aktualizované: GPT-6 Astra sa postupne objavuje v ChatGPT Plus, zatiaľ len v ChatGPT Work a Codex
OpenAI v dokumentácii uvádza postupné sprístupňovanie GPT-6 Astra pre predplatné ChatGPT Plus. Prístup je zatiaľ obmedzený na produkty ChatGPT Work a Codex, nie na bežný chat.
ChatGPT, Claude a Grok mali 3. septembra súbežné výpadky
OpenAI, Anthropic a xAI potvrdili časovo sa prekrývajúce incidenty svojich AI služieb. Spoločná príčina zatiaľ známa nie je.
NVIDIA na IFA predstavila beta nástroj PAIR pre lokálne AI úlohy
NVIDIA uviedla beta nástroj PAIR na rozdeľovanie lokálnych AI úloh medzi kompatibilné zariadenia v jednej sieti. Zároveň oznámila optimalizácie llama.cpp a októbrový príchod Windows počítačov s RTX Spark od Lenovo a Acer.
NVIDIA má definitívnu dohodu o kúpe Hugging Face, uzavretie čaká v roku 2027
NVIDIA podpísala definitívnu dohodu o kúpe Hugging Face. Transakcia s deklarovanou hodnotou približne 12,9 miliardy USD ešte potrebuje regulačné schválenia.
OpenAI predstavilo Daybreak pre obrancov s podporou v hodnote 1 miliardy dolárov
OpenAI spúšťa globálnu iniciatívu pre organizácie s obmedzenými bezpečnostnými kapacitami. Počiatočná podpora má smerovať najmä k prevádzkovateľom kritických a verejných služieb v USA.
Google uviedol Gemini 3.8 Flash, kyberverzia je len pre partnerov
Google sprístupnil Gemini 3.8 Flash cez Gemini API a zároveň predstavil obmedzený model Flash Cyber pre partnerov programu Fairwind.
Vyriešené: OpenAI – ChatGPT Work Mode High Error Rates
OpenAI: ChatGPT Work Mode High Error Rates. Incident je vyriešený.
NYC Public Schools obmedzia AI nástroje pre mladších žiakov
Najväčší verejný školský systém v USA zavádza vekovo odstupňované pravidlá pre umelú inteligenciu a čas pri obrazovke. Priamy prístup žiakov k AI sa má obmedziť od 2-K po 8. ročník.