🤯یه مسئله ریاضی که نزدیک ۹۰ سال حل‌نشده مونده بود، حالا ممکنه با کمک هوش مصنوعی به جواب رسیده باشه.

OpenAI
اعلام کرده سیستم هوش مصنوعیش برای مسئله ناویر–استوکس، یکی از هفت مسئله هزاره ریاضیات، یک اثبات پیدا کرده.

داستان چیه؟ ناویر–استوکس معادلاتیه که حرکت سیالات رو توصیف می‌کنه؛ از جریان هوا دور هواپیما گرفته تا حرکت خون داخل رگ‌ها.

اما سؤال بزرگ ریاضی این بود: اگه حرکت یک سیال سه‌بعدی از اول کاملاً صاف و منظم باشه، آیا همیشه همین‌طور می‌مونه؟ یا ممکنه در یک زمان محدود، جواب معادله دچار تکینگی بشه؟

OpenAI
می‌گه سیستمش حالت دوم رو اثبات کرده؛ یعنی یک جریان می‌تونه از وضعیت صاف شروع کنه و به تکینگی برسه. نکته مهم اینه که این فقط یک شبیه‌سازی کامپیوتری نیست؛ شرکت می‌گه هم اثبات تحلیلی ارائه کرده و هم نسخه‌ای از اون رو در Lean، یک ابزار بررسی رسمی اثبات‌های ریاضی، صورت‌بندی کرده.

اگه این نتیجه تأیید بشه، ماجرا فقط حل یک مسئله ریاضی نیست؛ یک نمونه جدی از اینه که AI داره از ابزار کمک‌پژوهشی به سمت مشارکت در کشف و اثبات علمی حرکت می‌کنه.

⚡️اطلاع از دوره ها و خدمات
@Mediversecenter

@themediverse