پرش به محتوا

وبلاگ

OpenAI

اخبار، عرضه مدل‌ها و راهنماهای عملی درباره OpenAI: مدل‌های GPT، Sora و OpenAI API.

Abstract fluid vortex with geometric proof structures and a glowing verification grid.
openai12 دقیقه مطالعه

ادعای OpenAI درباره اثبات Navier–Stokes، به زبان ساده

OpenAI می‌گوید عامل‌های AI یک تکینگی Navier–Stokes پیدا کرده‌اند و اثبات را در Lean رسمی‌سازی کرده‌اند. داستان سخت‌تر، مرحله بعد است: بازبینی، اعتباردهی، و قدرت دسته‌های خصوصی عامل‌ها در ریاضیات.

پست‌های جدید را در ایمیل خود دریافت کنید

اخبار AI، راهنماها و به‌روزرسانی‌های محصول — هر وقت چیزی ارزشمند منتشر کنیم، یک ایمیل کوتاه می‌فرستیم.