Blog
AI-nieuws en praktische gidsen, helder uitgelegd.
Nieuwste
Berichten dat OpenAI-modellen grote wiskundeproblemen oplossen wijzen op een dieper probleem: bewijs genereren wordt goedkoper, terwijl verificatie, attributie en publicatie nog steeds op menselijke snelheid verlopen.
Gratis cursus
Een complete cursus over kunstmatige intelligentie, van de wiskunde tot LLM's, agents en MCP. Dertig hoofdstukken, elk op zichzelf de moeite waard.
30 hoofdstukken~12 u leestijd
Eerste hoofdstukken
Een neuron is een gewogen som en een drempel. Dat is het hele idee — en de grenzen ervan dwongen alles af wat daarna kwam.
Kwadratische fout is geen conventie. Het is een claim over de ruis, en je kunt zien wanneer die fout is.
Iedereen schrijft het minteken op. Bijna niemand zegt waarom het er staat, of hoe groot een stap mag zijn.
Accuracy is het makkelijkste getal om te rapporteren — en het makkelijkste om door misleid te worden.
Video's
Bekijk alle video's
#173
#172
#171
#170
#169
#168
#167
#166Alle posts
TypeSafe AI’s Jev trekt aandacht omdat het software-intelligentie benadert als een waarschijnlijkheidsprobleem: kies de juiste vertakking, voeg vertrouwen toe en betaal geen LLM om tekst te schrijven wanneer code een beslissing nodig heeft.
OpenAI’s juridische lancering draait minder om een nieuw foundation model dan om het systeem eromheen: domeinretrieval, vertrouwde tools, rechten, benchmarks en reviewpaden.
Langlopende agenten falen niet alleen omdat het venster klein is. Ze falen wanneer bestanden, tool-outputs en verouderde geschiedenis de taak verdringen die de agent moest afronden.
Dario Amodei wil externe beoordelaars, gedeelde veiligheidsstandaarden en internationale afspraken om frontier-AI af te remmen. De uitdaging is bepalen wat “te snel” betekent, terwijl Anthropic naar verluidt een beursgang van recordomvang voorbereidt.
De scherpere zorg rond recursieve zelfverbetering gaat niet over vreemde chatbot-antwoorden. Het gaat om agenten die coördineren, metrics optimaliseren en helpen de volgende modellen te bouwen — een zorg die terugkomt in berichtgeving van WIRED, MIT Technology Review, CNBC en The Guardian.
OpenAI zegt dat AI-agenten een Navier–Stokes-singulariteit hebben gevonden en het bewijs in Lean hebben geformaliseerd. Het lastigere verhaal is wat daarna gebeurt: review, erkenning en de macht van private agentzwermen in de wiskunde.
