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.
Alle posts
OpenAI’s juridische lancering draait minder om een nieuw foundation model dan om het systeem eromheen: domeinretrieval, vertrouwde tools, rechten, benchmarks en reviewpaden.
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.
