آیا هوش مصنوعی واقعاً یکی از سختترین مسائل تاریخ ریاضیات را حل کرده؟ 🤯 با معرفی GPT-6 Astra خبری منتشر شد که خیلی سریع سر و صدا کرد: هوش مصنوعی توانسته روی مسئلهی معروف Navier–Stokes؛ یکی از ۷ مسئله هزاره با جایزه یک میلیون دلاری، به نتیجهای برسد که ریاضیدانها بیش از ۲۰۰ سال درگیر آن بودهاند. اما واقعاً چه اتفاقی افتاده؟ آیا معادلات ناویر–استوکس «حل» شدهاند؟ آیا AI یک جواب کامل پیدا کرده یا فقط یک Counterexample / مثال نقض ساخته؟ اثبات ۱۶۶ صفحهای چقدر قابل اعتماد است؟ نقش سیستمهای Multi-Agent و هزاران ایجنت هوش مصنوعی در این پروژه چه بوده؟ و از همه مهمتر؛ اگر AI بتواند چنین مسائلی را حل کند، چند سال دیگر علم، برنامهنویسی و پژوهش چه شکلی خواهند داشت؟ در این ویدیو همراه با آقای حسیبی از سمت هوش مصنوعی و دکتر شریفی کلهرودی از سمت فیزیک، سعی میکنیم بدون هایپ خبری بفهمیم دقیقاً چه چیزی حل شده، چه چیزی هنوز حل نشده و چرا این اتفاق میتواند بسیار مهمتر از یک خبر ساده درباره GPT باشد. کانال هوشمصنوعی گرینولی https://t.me/GreenOAI کانال المپیاد فیزیک گرینولی https://t.me/Greenpholy اینستاگرام (راهارتباطی) شریفی کلهرودی : https://www.instagram.com/smhsksharifi?stkn=Njl6bHh0Ymd3MG1p 00:00 آیا مسئله حل شد؟ 03:12 رقابت برای AGI 04:49 اثبات در ۸۸ ساعت 07:33 فرما هم فرمال شد 09:26 ناویر–استوکس چیست؟ 12:20 یک مثال نقض 18:24 آیا ایده دزدیده شد؟ 20:08 چرا معادله سخت است؟ 27:35 معمای ۲۰۰ ساله 31:34 هزاران ایجنت همزمان 33:18 آینده ترسناک میشود؟ 38:04 دقیقاً چه حل شد؟ 💬 نظر شما چیست؟ اگر AI بتواند مستقلاً روی مسائل حلنشده علم کار کند، فکر میکنید این اتفاق بیشتر هیجانانگیز است یا ترسناک؟ Funkorama by Kevin MacLeod is licensed under a Creative Commons Attribution 4.0 license. https://creativecommons.org/licenses/by/4.0/