Blog
Novinky z AI a praktické návody, srozumitelně vysvětlené.
Nejnovější
Zprávy o modelech OpenAI řešících zásadní matematické problémy ukazují na hlubší otázku: generování důkazů zlevňuje, zatímco ověřování, atribuce a publikování se stále pohybují lidským tempem.
Bezplatný kurz
Kompletní kurz umělé inteligence, od matematiky až po LLM, agenty a MCP. Třicet kapitol, každá stojí za přečtení sama o sobě.
30 kapitol~11 h čtení
První kapitoly
Neuron je vážený součet a práh. To je celá myšlenka — a její limity si vynutily všechno, co přišlo potom.
Kvadratická chyba není konvence. Je to tvrzení o šumu — a můžete sledovat, jak selže.
Minus píše každý. Skoro nikdo neříká, proč tam je ani jak velký krok ještě přežije.
Přesnost je nejjednodušší číslo k vykázání — a také to, kterým se necháte nejsnáze oklamat.
#173
#172
#171
#170
#169
#168
#167
#166Všechny příspěvky
Jev od TypeSafe AI přitahuje pozornost, protože chápe softwarovou inteligenci jako problém pravděpodobnosti: zvolit správnou větev, připojit míru jistoty a neplatit LLM za psaní textu, když kód potřebuje rozhodnutí.
Právní novinka od OpenAI není ani tak o novém základním modelu jako o systému kolem něj: doménovém vyhledávání, důvěryhodných nástrojích, oprávněních, benchmarcích a revizních cestách.
Long-running agents do not fail only because the window is small. They fail when files, tool outputs and stale history crowd out the task the agent was supposed to finish.
Dario Amodei chce externí hodnotitele, sdílené bezpečnostní standardy a mezinárodní dohody, které by určovaly tempo frontier AI. Nejtěžší je definovat, co znamená „příliš rychle“, zatímco Anthropic se údajně připravuje na rekordně velké IPO.
Ostřejší obava kolem rekurzivního sebezdokonalování nespočívá v podivných výstupech chatbotů. Jde o agenty, kteří koordinují, optimalizují metriky a pomáhají budovat další modely — což je obava, kterou odráží reportáže WIRED, MIT Technology Review, CNBC a The Guardian.
OpenAI tvrdí, že AI agenti našli singularitu v Navierových–Stokesových rovnicích a formalizovali důkaz v Lean. Složitější příběh začíná potom: přezkum, uznání zásluh a moc soukromých rojů agentů v matematice.
