پیشرفت ریاضی OpenAI فراتر از ریاضیات است

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

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

برخی از ریاضیدانان این نتایج و همچنین راه حل دیگری را که OpenAI در ماه گذشته منتشر کرد، زیر سوال برده اند و از آنها می پرسند که آیا آنها دستاوردهای اصلی را نشان می دهند یا به شدت از ورودی های قبلی انسان استخراج می شوند.

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

در رایانه ها می توانند خط به خط تأیید کنند. به طور مشابه، بلافاصله می توان فهمید که آیا کد هوش مصنوعی نوشته شده مستقل واقعا کار می کند یا خیر. تصویر بزرگ: مهندسان نرم افزار قبلا این انتقال را پشت سر گذاشته اند. ابزارهای کدنویسی هوش مصنوعی از تکمیل خودکار و اشکال زدایی به عواملی تبدیل شدند که قادر به نوشتن مقادیر قابل توجهی از نرم افزار و انجام وظایف پیچیده مهندسی بودند.

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

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

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

برخی اذعان کردند که شواهدی از پیشرفت های سریع هوش مصنوعی ارائه می کنند.