هوش مصنوعی یکی از سخت‌ترین معماهای ۹۰ ساله ریاضی با پاداش یک میلیون دلاری رو حل کرد!
شرکت OpenAI میگه یک مدل داخلی این شرکت با کمک حدود ۱۰ هزار عامل هوش مصنوعی، بعد از ۸۸ ساعت کار مداوم برای مسئله معروف ناویر–استوکس یک اثبات ریاضی پیدا کرده.
این مسئله یکی از ۷ مسئله هزاره‌ست و برای حل کاملش جایزه ۱ میلیون دلاری تعیین شده.
جالب‌تر اینکه اثبات تولیدشده با زبان Lean هم به‌صورت رسمی بررسی شده؛ اما هنوز ریاضیدان‌های مستقل باید کل اثبات رو بررسی و تأیید کنن و اگر ثبات تایید بشه، یکی از بزرگ ترین دستاوردهای تاریخ هوش مصنوعی و ریاضیات رقم خورده.


#اتحاد_ملی_ایران 🤝
@OmidIranAzad