Hoppa till innehållet

Blogg

OpenAI

Nyheter, modellsläpp och praktiska guider om OpenAI: GPT, Sora och OpenAI:s API.

Abstract fluid vortex with geometric proof structures and a glowing verification grid.
openaiLästid 10 min

OpenAI:s påstående om ett Navier–Stokes-bevis, förklarat

OpenAI säger att AI-agenter hittade en Navier–Stokes-singularitet och formaliserade beviset i Lean. Den svårare berättelsen är vad som händer sedan: granskning, erkännande och kraften i privata agentsvärmar inom matematiken.

Få nya inlägg i din inkorg

AI-nyheter, guider och produktuppdateringar — ett kort mejl när vi publicerar något som är värt din tid.