Blog
AI-nyheder og praktiske guides, klart forklaret.
Seneste
Rapporter om OpenAI-modeller, der løser store matematiske problemer, peger på et dybere problem: Bevisgenerering bliver billigere, mens verifikation, attribution og publicering stadig bevæger sig i menneskeligt tempo.
Gratis kursus
Et komplet kursus i kunstig intelligens, fra matematikken til LLM'er, agenter og MCP. Tredive kapitler, som hver især er værd at læse.
30 kapitler~12 t læsning
Første kapitler
En neuron er en vægtet sum og en tærskel. Det er hele idéen — og dens begrænsninger tvang alt det næste frem.
Kvadreret fejl er ikke en konvention. Det er en påstand om støjen, og du kan se den tage fejl.
Alle skriver minustegnet. Næsten ingen forklarer, hvorfor det er der, eller hvor stort et skridt det kan tåle.
Nøjagtighed er det letteste tal at rapportere — og det letteste at blive narret af.
Videoer
Se alle videoer
#173
#172
#171
#170
#169
#168
#167
#166Alle indlæg
TypeSafe AI’s Jev får opmærksomhed, fordi den behandler softwareintelligens som et sandsynlighedsproblem: vælg den rigtige gren, tilføj tillid, og undgå at betale en LLM for at skrive tekst, når kode har brug for en beslutning.
OpenAIs juridiske lancering handler mindre om en ny grundmodel end om systemet omkring den: domæneretrieval, betroede værktøjer, rettigheder, benchmarks og review-forløb.
Langvarige agenter fejler ikke kun, fordi vinduet er lille. De fejler, når filer, tool-outputs og forældet historik fortrænger den opgave, agenten skulle færdiggøre.
Dario Amodei ønsker eksterne evaluatorer, fælles sikkerhedsstandarder og internationale aftaler, der kan sætte tempoet for frontier-AI. Det svære er at definere, hvad „for hurtigt“ betyder, samtidig med at Anthropic angiveligt forbereder en børsnotering i rekordstørrelse.
Den skarpere bekymring omkring rekursiv selvforbedring handler ikke om mærkelige chatbot-svar. Den handler om agenter, der koordinerer, optimerer metrikker og hjælper med at bygge de næste modeller — en bekymring, der afspejles i dækning fra WIRED, MIT Technology Review, CNBC og The Guardian.
OpenAI siger, at AI-agenter fandt en Navier–Stokes-singularitet og formaliserede beviset i Lean. Den sværere historie er, hvad der sker nu: gennemgang, kredit og kraften i private agentsværme i matematik.
