Sari la conținut

Blog

OpenAI

Știri, lansări de modele și ghiduri practice despre OpenAI: GPT, Sora și API-ul OpenAI.

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

Afirmația OpenAI despre demonstrația Navier–Stokes, explicată

OpenAI spune că agenții AI au găsit o singularitate Navier–Stokes și au formalizat demonstrația în Lean. Povestea mai grea este ce urmează: verificare, credit și puterea roiurilor private de agenți în matematică.

Primește articole noi în inbox

Noutăți despre AI, ghiduri și actualizări de produs — un e-mail scurt când publicăm ceva ce merită timpul tău.