استیون ولفرام چهار دهه را صرف ساختن نرم‌افزاری کرده است که ریاضیات را خودکار می‌کند، و اکنون متوجه می‌شود که از این ایده که هوش مصنوعی کار را تمام می‌کند، عقب نشینی می‌کند. در مقاله‌ای طولانی با عنوان «آینده برای تحقیقات ریاضی محض در عصر هوش مصنوعی چیست؟»، که در وبلاگ Writings او منتشر شد و بحث‌ها را دوباره در هکر نیوز در آخر هفته برانگیخت، این فیزیکدان و بنیان‌گذار Wolfram Research استدلال می‌کند که به گفته او، به گفته او، «تفاهمات AI» چه چیزی را نادرست می‌داند و «تفاهمات AI» چیست؟»

ولفرام در آغاز این مقاله می نویسد: «سرفصل ها همچنان می آیند: فلان سیستم هوش مصنوعی فلان مسئله ریاضی را حل کرده است. او می‌گوید آنچه پس از آن سرفصل‌ها می‌آید، یک نتیجه‌گیری آشناست - اینکه ممکن است دیگر نیازی به ریاضی‌دانان انسانی نباشد - و بی‌شکلی از سوی او با استدلال‌هایی که تاریخ رشته خودش را نادیده می‌گیرد. For more context on this story, see our ongoing artificial intelligence updates.

سابقه Mathematica

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

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

هوش مصنوعی واقعاً برای چه چیزی در ریاضیات خوب است

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

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

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

محاسبات قضایا تولید می کند، نه معنا

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

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

اصلا چرا ریاضی محض وجود دارد

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

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

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

---

Stay Ahead of AI

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

Read more AI news →