Ugrás a tartalomra

Blog

OpenAI

Hírek, modellmegjelenések és gyakorlati útmutatók az OpenAI-ról: GPT, Sora és az OpenAI API.

Abstract fluid vortex with geometric proof structures and a glowing verification grid.
openai10 perc olvasás

OpenAI Navier–Stokes-bizonyítási állítása, érthetően

Az OpenAI szerint AI-ügynökök találtak egy Navier–Stokes-szingularitást, és Leanben formalizálták a bizonyítást. A nehezebb történet az, ami ezután következik: felülvizsgálat, elismerés és a privát ügynökrajok ereje a matematikában.

Kapj új bejegyzéseket a postaládádba

AI-hírek, útmutatók és termékfrissítések — rövid email, amikor valami igazán hasznosat publikálunk.