Spring til indhold

Blog

OpenAI

Nyheder, modeludgivelser og praktiske guides om OpenAI: GPT, Sora og OpenAI-API'en.

Abstract fluid vortex with geometric proof structures and a glowing verification grid.
openai10 min læsning

OpenAI's påstand om Navier–Stokes-beviset, forklaret

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.

Få nye indlæg i din indbakke

AI-nyheder, guides og produktopdateringer — en kort mail, når vi udgiver noget, der er værd at bruge tid på.

Vil du hellere have beskeder? De samme indlæg, her:WhatsApp-fællesskab (åbnes i en ny fane)Telegram-kanal (åbnes i en ny fane)