Naar inhoud springen

Blog

OpenAI

Nieuws, modelreleases en praktische gidsen over OpenAI: GPT, Sora en de OpenAI-API.

Abstract fluid vortex with geometric proof structures and a glowing verification grid.
openai11 min leestijd

OpenAI's bewijsclaim voor Navier–Stokes uitgelegd

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.

Ontvang nieuwe posts in je inbox

AI-nieuws, gidsen en productupdates — een korte mail wanneer we iets publiceren dat je tijd waard is.