🤯 هوش مصنوعی به سراغ یکی از بزرگ‌ترین معماهای ریاضیات رفت!
🤯 هوش مصنوعی به سراغ یکی از بزرگ‌ترین معماهای ریاضیات رفت! 🧠 طبق این گزارش، یک مدل داخلی OpenAI با همکاری حدود ۱۰ هزار عامل هوش مصنوعی، مسئله ناویر–استوکس رو در حدود ۸۸ ساعت حل کرده و اثباتش با Lean هم بررسی شده. ⚠️ البته این نتیجه هنوز باید توسط ریاضیدان‌های مستقل تأیید بشه. 🔥 اگه اثبات نهایی تأیید بشه، می‌تونه یکی از مهم‌ترین دستاوردهای AI در ریاضیات باشه! ➖➖➖➖➖➖➖➖➖➖ ✈️VpnTV | اینترنت، امنیت تکنولوژی
Read the full story at vpntv ↗