شرکت OpenAI اعلام کرده که مدلهای هوش مصنوعی این شرکت موفق شدن یکی از مسائل ریاضی هزاره یعنی وجود و همواری ناویر-استوکس رو حل کنن که اتفاق بزرگی در دنیای ریاضیات هست!

مسائل هزاره، 7 مساله ریاضی پیچیده هستن که توسط انجمن ریاضی Clay در سال 2000 منتشر شدن و هر کسی که بتونه هر کدوم از اونهارو حل کنه یک میلیون دلار جایزه هزاره تحویل میگیره. از این 7 مساله تاکنون فقط یک مساله از اونها یعنی حدس پوانکاره در سال 2010 توسط گریگوری پرلمان حل شد ولی ایشون قبول نکرد که جایزه اش رو تحویل بگیره.

مساله وجود و همواری Navier–Stokes از مسائل حل نشده هزاره هست که معادلات اون حرکت سیالات، مثلا اب و هوا رو توصیف میکنه و در حوزه های مختلفی از جمله پیش بینی اب و هوا تا آیرودینامیک هواپیما کاربرد داره. یکی از راه حل های این مساله رد کردن اون و اثبات این هست که در یک شرایط اولیه هموار و معقول، بعد از گذشت مدت زمان مشخصی، سیستم دچار تکینگی بشه یعنی سرعت یا تراکم سیال به بی‌ نهایت میل کنه.
@harmoniclib
حالا مدلهای OpenAI موفق شدن تنها در 88 ساعت شرایطی رو پیدا کنن که این معادلات دچار نقض میشه و اثبات اون رو هم منتشر کردن.