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