🤯 هوش مصنوعی به سراغ یکی از بزرگ‌ترین معماهای ریاضیات رفت!

🧠 طبق این گزارش، یک مدل داخلی OpenAI با همکاری حدود ۱۰ هزار عامل هوش مصنوعی، مسئله ناویر–استوکس رو در حدود ۸۸ ساعت حل کرده و اثباتش با Lean هم بررسی شده.

⚠️ البته این نتیجه هنوز باید توسط ریاضیدان‌های مستقل تأیید بشه.

🔥 اگه اثبات نهایی تأیید بشه، می‌تونه یکی از مهم‌ترین دستاوردهای AI در ریاضیات باشه!

➖➖➖➖➖➖➖➖➖➖
✈️VpnTV | اینترنت، امنیت تکنولوژی