Lewati ke konten

Blog

OpenAI

Berita, peluncuran model, dan panduan praktis tentang OpenAI: GPT, Sora, dan OpenAI API.

Abstract fluid vortex with geometric proof structures and a glowing verification grid.
openai10 menit baca

Klaim bukti Navier–Stokes dari OpenAI, dijelaskan

OpenAI mengatakan agen AI menemukan singularitas Navier–Stokes dan memformalkan buktinya di Lean. Kisah yang lebih sulit adalah apa yang terjadi berikutnya: peninjauan, kredit, dan kekuatan swarm agen privat dalam matematika.

Dapatkan postingan baru di inbox kamu

Berita AI, panduan, dan update produk — email singkat saat kami menerbitkan sesuatu yang layak kamu baca.