مؤسسه رياضيات كلي براي اولين بار علناً تصديق كرده است كه مسئله وجود و صافي ناوير استوكس - يكي از هفت مسئله جايزه هزاره - "ظاهراً حل شده است." این بیانیه که روز جمعه در وب‌سایت مؤسسه منتشر شد، یکی از بحث‌برانگیزترین داستان‌های هوش مصنوعی و ریاضیات سال را به فرآیند ارزیابی جوایز رسمی مؤسسه منتقل می‌کند، در حالی که به همان اندازه روشن می‌کند که هیچ جایزه‌ای اعطا نشده است و هیچ مدرکی تأیید نشده است.

این مؤسسه در اطلاعیه مورخ 11 سپتامبر 2026 نوشت: «امروز، CMI در هیجان جامعه جهانی ریاضیات شریک است، زیرا ما اعلام می کنیم که مشکل ناویر- استوکس ظاهرا حل شده است. For more context on this story, see our ongoing artificial intelligence updates.

چرا بیانیه مهم است

زبان اندازه‌گیری شده مؤسسه کار زیادی انجام می‌دهد، و هر کلمه ظرف چند ساعت در Hacker News تجزیه شد، جایی که اعلامیه بیش از 100 امتیاز جمع‌آوری کرد. چیزی که بیانیه نمی گوید به اندازه آنچه انجام می دهد مهم است: مؤسسه ریاضیات Clay از OpenAI نام نمی برد، صحت هیچ مدرک خاصی را تأیید نمی کند، و باعث اهدای جایزه نمی شود.

زمینه محدودیت را توضیح می دهد. در 8 سپتامبر، OpenAI یک راه حل ادعایی برای مشکل Navier-Stokes منتشر کرد و بیان کرد که یک سیستم هوش مصنوعی داخلی - که توسط این شرکت به طور قابل توجهی توانمندتر از مدل GPT-6 Astra آن توصیف شده است - هم یک اثبات تحلیلی و هم یک تأیید رسمی در دستیار اثبات ناب ایجاد کرده است. این اطلاعیه بلافاصله به همان اندازه در مورد اعتبار و محاسبات بود، زیرا دو ریاضیدان دانشگاهی مقالات نزدیک به هم را در همان روز منتشر کردند و محققان OpenAI را تحت فشار قرار دادند که کار آنها نتیجه دستگاه را اعلام کرده بود.

در حالی که مؤسسه اکنون اذعان می کند که مشکل «ظاهراً حل شده است»، این اختلاف زمینه را تغییر می دهد: از پینگ پنگ انتشار مطبوعاتی به روش ارزیابی جایزه هزاره، که مؤسسه آن را «عمداً بدون عجله» توصیف می کند.

آنچه که مسئله Navier-Stokes می پرسد

مشکل مربوط به وجود و روان بودن راه حل های معادلات ناویر-استوکس در فضای اقلیدسی سه بعدی است - معادلاتی که نحوه حرکت سیالاتی مانند آب و هوا را توصیف می کنند. اگرچه این معادلات روزانه توسط مهندسان، هواشناسان و آیرودینامیک‌ها استفاده می‌شود، ریاضیدانان هرگز ثابت نکرده‌اند که راه‌حل‌های صاف و منطقی فیزیکی همیشه در سه بعد وجود دارند، یا اینکه به جای ایجاد تکینگی‌ها، رفتار قابل پیش‌بینی دارند.

مؤسسه ریاضیات Clay از مسائل جایزه هزاره در نشستی در پاریس در سال 2000 پرده برداری کرد و به هر یک از هفت مسئله یک میلیون دلار جایزه اضافه کرد که شامل فرضیه ریمان و P در مقابل NP نیز می شود. این مؤسسه در بیانیه روز جمعه خود، دلیل اصلی خود را تکرار کرد: ارتقای آگاهی عمومی که مرزهای ریاضی باز است و به رسمیت شناختن "دستاوردهای ریاضیات با عظمت تاریخی".

تنها یکی از هفت مشکل، حدس پوانکاره، حل شده است - توسط گریگوری پرلمن در اثر ارسال شده در سال‌های 2002 و 2003، که به‌خاطر آن مدال فیلدز و پول جایزه را رد کرد.

ارزیابی "عمداً بدون عجله" در پیش است

اعلامیه موسسه به قوانین جایزه به عنوان چارچوب حاکم برای اتفاقات بعدی اشاره می کند. در این بیانیه آمده است: «قوانین حاکم بر جوایز، فرآیند ارزیابی دستاوردها و تخصیص اعتبار را شرح می‌دهند. این فرآیند عمداً بدون عجله است، اما ما به‌روزرسانی‌ها را ارائه خواهیم داد.»

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

این بیانیه همچنین به این موضوع نمی‌پردازد که آیا راه‌حلی که بخش قابل توجهی به سیستم هوش مصنوعی نسبت داده می‌شود واجد شرایط دریافت جایزه‌ای است که به زبان مؤسس مؤسسه، برای به رسمیت شناختن دستاوردهای ریاضی انسان است - سؤالی که در تاریخ ۲۶ ساله جایزه سابقه نداشته است.

تنش پشت اعلامیه

این اعلامیه در لحظه ای فوق العاده حساس برای تلاقی هوش مصنوعی و ریاضیات قرار می گیرد. روز جمعه، گروهی متشکل از 25 مدال‌آور فیلدز از جمله ترنس تائو، اعلامیه‌ای رسمی منتشر کردند و هشدار دادند که رقابت برای نمایش سیستم‌های هوش مصنوعی بر روی معیارهای ریاضی، هم به علم و هم به جامعه حامی آن آسیب می‌زند - بیانیه‌ای که بیش از 1300 تأییدکننده دیگر را در یک روز جمع‌آوری کرد، همانطور که قبلاً توسط AI Buzzre گزارش شده بود.

این دو سند تقریباً به عنوان پاسخ به یکدیگر خوانده می شوند. بیانیه ریاضیدانان در مورد برخورد با مسائل عمیق به عنوان غنائم معیار هشدار می دهد. اعلامیه مؤسسه، در حالی که نتیجه را در بر می گیرد، به طور مشخص لحظه را حول درک و فهم و نه پیروزی می سازد، به این امید که «امواج درک جدید بشری رها شده در حین تحلیل و بازجویی نوآوری های پشت این کار» را ببینیم.

حتی گزارش خود مؤسسه از حوزه اطراف نیز این تغییر را تصدیق می‌کند: «توانایی فزاینده فناوری‌های جدید برای تسریع تحقیقات ریاضی، این حس پیش‌بینی را افزایش داده است.

بعد چه می آید

در حال حاضر، راه حل عملی محدود اما واقعی است: مؤسسه ای که مالک این مشکل است، در سابقه خود اعلام کرده است که مشکل ظاهراً حل شده است، و متعهد به به روز رسانی های عمومی در حین انجام ارزیابی است. اگر این کار از بررسی دقیق باقی بماند، این دومین مشکل هزاره خواهد بود که حل شده است، اولین مشکل در دو دهه - و اولین مورد در تاریخ که تا حدی به یک سیستم هوش مصنوعی قابل اعتبار است، تمایزی که نحوه رسیدگی موسسات ریاضی به چنین ادعای بعدی را شکل خواهد داد.

موسسه تقاضای صبر کرده است. با توجه به اینکه این فرآیند، از نظر طراحی، عمداً بدون عجله است، به سؤالات جامعه - در مورد اثبات، اعتبار، و نقش ماشینی که آن را تولید کرده است - در جدول زمانی مؤسسه پاسخ داده خواهد شد، نه در چرخه اخبار.

---

Stay Ahead of AI

Get the latest AI news, analysis, and breakthroughs — all in one place.

Read more AI news →