مثال نقض
یک مدل OpenAI یک حدس ریاضی ۸۰ ساله را رد کرد. این یک نقطه عطف است. اما دقیقاً به ما نشان میدهد که هوش مصنوعی چه کارهایی را میتواند و چه کارهایی را نمیتواند انجام دهد.
مسئله ساده بود. نقاطی را روی یک صفحه تخت قرار دهید. چند جفت میتوانند با فاصله یک واحد از هم قرار بگیرند؟ پل اردوش حدس زد که یک شبکه (grid) خاص بهترین راه برای انجام این کار است. این حدس ۸۰ سال پابرجا ماند.
هوش مصنوعی این حدس را شکست. این مدل روش تفکر جدیدی ابداع نکرد؛ بلکه با ساختن یک شبکه (lattice) در ابعاد بالاتر و تصویر کردن (projecting) آن به ابعاد پایینتر، الگویی را پیدا کرد. این مدل آرایش خاصی را یافت که یک شبکه معمولی نمیتواند با آن برابری کند.
این موفقیت دو نقطه قوت خاص هوش مصنوعی را آشکار میکند:
- جستجوی بدون سوگیری: انسانها اغلب اگر باور داشته باشند که یک نظریه درست است، جستجو برای یافتن مثال نقض را متوقف میکنند. هوش مصنوعی چنین باوری ندارد. او حتی زمانی که انسانها دست میکشند، به شکار ادامه میدهد.
- استقامت فوقالعاده: انسانها توجه خود را مدیریت میکنند. ما استراتژیهایی را که زمان زیادی میبرند یا سریع عمل نمیکنند، رها میکنیم. این مدل بدون خستگی، صدها تلاش ناموفق را پشت سر میگذارد.
هوش مصنوعی همچنین از گستره دانش خود بهره برد. این مدل نظریه اعداد جبری را با هندسه گسسته ترکیب کرد. اکثر انسانها در یک حوزه متخصص هستند، اما این مدل ادبیات تمام حوزهها را بهطور همزمان در اختیار دارد. این مدل پیوندهایی برقرار میکند که ممکن است یک متخصص از آنها غافل شود.
با این حال، این ابداع نیست. مدل یک ابزار ریاضی جدید خلق نکرد؛ بلکه از ریاضیات موجود برای یافتن نتیجهای در یک چارچوب موجود استفاده کرد. این مدل در یک فضای تعریفشده، به دنبال شیئی گشت که قوانین شناختهشده را برآورده کند.
ابداع ریاضی واقعی متفاوت است. ابداع، توانایی خلق یک فضای جدید، محدودیتهای جدید یا یک زبان جدید است.
آزمون واقعی برای هوش مصنوعی این نیست که چه تعداد از مسائل قدیمی را حل میکند. آزمون واقعی این است که آیا یک مدل، تعریف یا روشی خلق میکند که ریاضیدانان آن را به عنوان روش خود بپذیرند یا خیر.
تا زمانی که یک مدل چارچوب جدیدی ایجاد نکند، بیشتر یک ابزار جستجوی قدرتمند باقی میماند تا یک خالق. مزیت ماشین این است که آنچه ما باور داریم را باور نمیکند و از جستجو کردن خسته نمیشود.
Source: https://dev.to/thesythesis/the-counterexample-hd2
Optional learning community: https://t.me/GyaanSetuAi