چین با تشکیل گروهی متشکل از ۱۰۰۰ دانشمند می‌خواهد در ریاضیات با OpenAI و آنتروپیک رقابت کند

ریاضیات ممکن است به میدان رقابت بعدی در حوزه هوش مصنوعی تبدیل شود. پس از آنکه شرکت OpenAI اعلام کرد مدل هوش مصنوعی این شرکت توانسته مسئله‌ای مرتبط با چالش هزاره معادلات ناویر–استوکس را حل کند، چین نیز قصد دارد با تشکیل ائتلافی متشکل از بیش از ۱۰۰۰ ریاضی‌دان، استفاده از هوش مصنوعی را در پژوهش‌های ریاضی گسترش دهد.

به گزارش ساوت چاینا مورنینگ پست، گروهی از ریاضی‌دانان برجسته چین روز یکشنبه گذشته در پکن ائتلافی را برای ادغام هوش مصنوعی در تحقیقات ریاضی راه‌اندازی کردند. رهبری این ابتکار را شیانگ‌تونگ یائو، برنده مدال فیلدز، بر عهده دارد. این مجموعه با نام ائتلاف آزمایشگاه یائو برای ریاضیات و هوش مصنوعی فعالیت خواهد کرد و با مشارکت هشت مؤسسه برجسته، در پی ایجاد شبکه‌ای متشکل از بیش از ۱۰۰۰ دانشمند است.

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

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

یک سال پیش تصور نمی‌کردم هوش مصنوعی تا این اندازه قدرتمند باشد. پیشرفت هوش مصنوعی در ریاضیات مانند یک سونامی است.

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

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

اما اگر از این مدل‌ها بخواهید کارهایی را انجام دهند که OpenAI طی ماه گذشته انجام داده است، فاصله میان آن‌ها بسیار زیاد خواهد بود.

اظهارات یائو تنها چند روز پس از آن مطرح شد که OpenAI بیش از ۷۰۰ مقاله را منتشر کرد که یافته‌های مرتبط با ۳۷۷ مسئله ریاضی را در بر می‌گرفتند. هم‌زمان، انجمن ریاضیات انسانی از ریاضی‌دانان خواست OpenAI را تحریم کنند و اعلام کرد که ریاضی‌دانان چنین درخواستی برای انجام این پژوهش‌ها نداشته‌اند.

OpenAI همچنان به دلیل نتایج ریاضی منتشرشده با انتقادها و بررسی‌های دقیق روبه‌روست. این شرکت پس از انتشار ۷۲۲ دست‌نوشته ریاضی، روز بعد سه مورد از آن‌ها را پس گرفت؛ زیرا خطایی را شناسایی کرده بود که یکی از استدلال‌ها را بی‌اعتبار می‌کرد و بر دو مقاله مرتبط دیگر نیز تأثیر می‌گذاشت. OpenAI همچنین ۱۴ دست‌نوشته دیگر را مورد بازبینی قرار داد.

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