ریاضیات ممکن است به عرصه رقابتی بعدی در هوش مصنوعی تبدیل شود. پس از اینکه شرکت OpenAI اعلام کرد که مدل هوش مصنوعی آن قادر به حل مشکل مربوط به چالش هزاره معادلات ناویر-استوکس است، چین نیز قصد دارد با تشکیل ائتلافی متشکل از بیش از 1000 ریاضیدان، استفاده از هوش مصنوعی را در تحقیقات ریاضی گسترش دهد.
به گزارش ساوت چاینا مورنینگ پست، گروهی از ریاضیدانان برجسته چینی یکشنبه گذشته در پکن ائتلافی را برای ادغام هوش مصنوعی در تحقیقات ریاضی راه اندازی کردند. این ابتکار توسط Xiangtong Yao برنده مدال فیلدز رهبری می شود. این گروه تحت عنوان ائتلاف آزمایشگاهی یائو برای ریاضیات و هوش مصنوعی فعالیت خواهد کرد و هدف آن ایجاد شبکه ای متشکل از بیش از 1000 دانشمند با مشارکت هشت موسسه پیشرو است.
هوش مصنوعی مانند یک سونامی وارد دنیای ریاضیات شده است
Xiangtong Yao این اتحاد را تلاشی برای کاهش شکاف قابل توجه بین چین و ایالات متحده در استفاده از هوش مصنوعی برای تحقیقات علمی پیشرفته می داند. وی با اشاره به سرعت توسعه این فناوری گفت:
یک سال پیش، تصور نمی کردم که هوش مصنوعی اینقدر قدرتمند باشد. پیشرفت هوش مصنوعی در ریاضیات مانند یک سونامی است.
یائو معتقد است که ریاضیدانان چینی به جای اجتناب از این فناوری، باید فعالیت های خود را حول آن سازماندهی کنند. این اتحاد بر توسعه مدل‌های تخصصی هوش مصنوعی برای ریاضیات، استفاده از این فناوری برای تولید حدس‌های ریاضی و رسمی‌سازی اثبات‌ها، و همچنین ساختن سیستم‌هایی با فرآیندهای استدلال قابل تفسیرتر تمرکز خواهد کرد.
Xiangtong Yao معتقد است که چین باید شکاف خود را با ایالات متحده در تحقیقات علمی پیشرفته، به ویژه در زمینه سیستم های هوش مصنوعی که قادر به پیشرفت ریاضیات و فیزیک هستند، کاهش دهد. به گفته وی، مدل های چینی در انجام وظایف روزانه کاربران به خوبی عمل کرده اند، اما همچنان در تحقیقات علمی پیشرفته از سیستم های پیشرو آمریکایی بسیار عقب هستند. یائو در این باره گفت:
اما اگر از این مدل‌ها بخواهید کاری را انجام دهند که OpenAI در ماه گذشته انجام داده است، شکاف بین آنها بسیار زیاد خواهد بود.
نظرات یائو تنها چند روز پس از انتشار بیش از 700 مقاله که حاوی یافته‌های مربوط به 377 مسئله ریاضی بود، منتشر شد. در همان زمان، انجمن ریاضیات انسانی از ریاضیدانان خواست OpenAI را تحریم کنند و اعلام کرد که ریاضیدانان چنین درخواستی برای انجام این تحقیقات نداشته اند.
OpenAI به دلیل نتایج ریاضی منتشر شده همچنان با انتقادات و موشکافی مواجه است. پس از انتشار 722 نسخه خطی ریاضی، این شرکت روز بعد سه مورد از آنها را پس گرفت. زیرا خطایی را شناسایی کرده بود که یکی از استدلال ها را باطل می کرد و دو مقاله مرتبط دیگر را تحت تأثیر قرار می داد. OpenAI همچنین 14 نسخه خطی دیگر را بررسی کرد.
برخی از ریاضیدانان سرعت و حجم بالای انتشار این آثار را مورد انتقاد قرار داده و تاکید دارند که نتایج ریاضی نیازمند بررسی دقیق، توضیحات روشن و ارجاع مناسب به تحقیقات قبلی است. شرکت متا قبلاً مقالاتی در مورد حل شش مسئله مهم ریاضی منتشر کرده بود.
گفتگو در مورد این post