معنای هوش مصنوعی برای سرنوشت ریاضیات

تحولات اخیر در این زمینه جدیدترین نمونه از یک سری از نمونه‌های هوش مصنوعی است که در سال 2026 پیشرفت‌های ریاضی ایجاد کرده است.

نیویورک - OpenAI دنیای آرام ریاضیات را با استفاده از هوش مصنوعی برای حل یک مشکل بزرگ و صد ساله متزلزل کرده است و این سوال را مطرح می کند که ریاضیدانان چه نقشی در تحقیقات علمی آینده خواهند داشت.

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

ترنس تائو، استاد دانشگاه UCLA، که برنده مدال نخبه فیلدز به‌عنوان معتبرترین ریاضی‌دانان جهان شده است، به خبرگزاری فرانسه گفت: «در حال حاضر کاملا در یک بحران وجودی در رشته خود غرق شده‌ام.»

استیون استروگاتز، استاد دانشگاه کرنل برای درک عمومی از علوم و ریاضیات، گفت: "اگر آنها تصمیم بگیرند سوالاتی را که ما در تحقیقات جالب می‌دانیم مطالعه کنند، بسیار آسان خواهند بود. آنها می‌توانند این مسائل را به راحتی حل کنند."

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

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

در این مورد، هوش مصنوعی عمدتا دو محقق اسپانیایی را دنبال می‌کرد که الهام‌بخش ریاضی‌دانان Tristan Buckmaster و Levent Alpoge نیز بودند - که ادعا می‌کنند قبل از پیشرفت OpenAI به راه‌حل نزدیک شده‌اند و اکنون در مورد سرقت علمی کارشان سوال می‌کنند - اتهامی که غول فناوری هوش مصنوعی آن را رد می‌کند.

این تنها مشکل محاسبات OpenAI نیست.

تائو در Mastodon نوشت: «پرچم تسخیر می‌شود، گل زده می‌شود و مشکل حل می‌شود؛ اما به قیمت درس‌های آموخته‌شده، بینش‌های به‌دست‌آمده، همکاری‌ها و یافتن اهداف جدید.

تائو یکی از ۲۵ برنده مدال فیلدز بود که نامه‌ای را در ۱۱ سپتامبر امضا کرد تا درباره «اثر مخرب» بالقوه هوش مصنوعی در زمینه ریاضیات هشدار دهد.

محمد ابوزید، استاد دانشگاه استنفورد، گفت که فقدان تخیل این فناوری آشکار است.

ابوزید گفت: «ما هنوز آن نوع جهش‌های خلاقیتی را که واقعا شامل ایجاد ریاضیات جدید باشد، نمی‌بینیم، و شاید آزمایشگاه‌ها آن را هدف بعدی خود قرار دهند، و دیدن آن بسیار جالب خواهد بود.

Anima Anandkumar، پروفسور Caltech که در تقاطع ریاضیات و هوش مصنوعی کار می کند، با تیم خود موفق شد شکل ساده شده معادلات ناویر-استوکس (معروف به معادلات اویلر) را با استفاده از یک مدل هوش مصنوعی که به کارهای قبلی محققان متکی نبود، حل کند.

این هوش مصنوعی مانند آنهایی که ChatGPT یا Claude را تامین می کنند، نبود، بلکه یک مدل شبکه عصبی مبتنی بر فیزیک (PINN) بود که داده ها را با قوانین فیزیک ترکیب می کند.

او گفت: "بنابراین، می توانید فکر کنید که OpenAI به نوعی بیش از ما به انسان متکی است."

با این حال، آناندکومار خاطرنشان می کند که این مدل هنوز باید طراحی و آزمایش می شد.

Auffinger گفت که او زمانی را پیش‌بینی نمی‌کند که ابزارهای هوش مصنوعی بتوانند برای هر سؤالی که می‌پرسید پاسخ دهند و ریاضیدانان انسانی همچنان «نقش بزرگی را ایفا می‌کنند، زیرا در مورد چگونگی رفتن از نقطه A به نقطه B نیست».

او توضیح داد: "این در مورد پرسیدن سوالاتی است که به کل جامعه کمک می کند." خبرگزاری فرانسه