🤯 OpenAI
ادعا می‌کند یکی از سخت‌ترین مسائل ریاضی تاریخ را حل کرده!

OpenAI
می‌گوید هوش مصنوعی این شرکت توانسته مسئله ناویر–استوکس (Navier–Stokes) را حل کند؛ یکی از ۷ مسئله هزاره که نزدیک به یک قرن ذهن ریاضی‌دان‌ها را درگیر کرده است.

🔹 برای این کار، یک مدل داخلی که طبق ادعای OpenAI از GPT-6 Astra قدرتمندتر است، به حدود ۱۰ هزار Agent همزمان دسترسی داشته.

⏱️ این Agentها طی تنها ۸۸ ساعت روی مسئله کار کردند و در مجموع حدود ۱۳۰ میلیارد توکن تولید شد.

بعد از آن، GPT-6 Astra طی ۱۷ ساعت دیگر، اثبات به‌دست‌آمده را در Lean رسمی‌سازی و بررسی کرده است.

📐 نتیجه ادعایی مدل چیست؟

به‌طور خلاصه، این اثبات نشان می‌دهد که در شرایط خاص، یک جریان سیال سه‌بعدی که در ابتدا کاملاً نرم است می‌تواند در زمانی محدود به یک تکینگی (Singularity) برسد، در حالی که انرژی کل همچنان محدود باقی می‌ماند.

🔥 اگر این نتیجه پس از بررسی مستقل جامعه ریاضی تأیید شود، با یکی از مهم‌ترین دستاوردهای تاریخ هوش مصنوعی در ریاضیات روبه‌رو خواهیم بود.