ریاضیات با بحران سوءهاضمه روبروست
ریاضیات در حال ورود به قرن بیست و یکم است. برای صدها سال، سرعت تحقیقات ریاضی کند باقی ماند. یک پژوهشگر نتیجهای را مییابد، همتایان آن را بازبینی میکنند و در نهایت این نتیجه وارد کتابهای درسی میشود. این فرآیند، ثابت و قابل پیشبینی است.
هوش مصنوعی همهچیز را تغییر داد. این فناوری اثباتها را تولید میکند و مسائل را با سرعت بالا حل میکند. این امر توده عظیمی از محتوای جدید ایجاد میکند. بازبینهای انسانی نمیتوانند پابهپای آن پیش بروند. این وضعیتی را ایجاد میکند که ترنس تائو آن را «سوءهاضمهی اثبات» مینامد. سیستم آکادمیک با یک ترافیک سنگین روبرو شده است.
هوش مصنوعی مانند یک ماشین سریع است. مجلات آکادمیک فعلی مانند مسیرهای سنگی باریکی هستند که برای کالسکههای اسبی ساخته شدهاند. شما نمیتوانید یک ماشین سریع را در مسیری باریک برانید بدون اینکه باعث تصادف شوید. ارتقای ماشین کمکی نمیکند اگر جاده خراب باشد. ما باید جادههای جدیدی برای هوش مصنوعی بسازیم.
ترنس تائو در حال ساختن این جادههای جدید از طریق مسابقات SAIR است. او مسیرهای مجزایی برای انسانها و هوش مصنوعی ایجاد میکند.
یکی از مسابقات، چالش تقطیر (Distillation Challenge) است. پژوهشگران از یک مجموعه داده عظیم شامل ۲۲ میلیون مسئله جبر استفاده میکنند. مدلهای بزرگ هوش مصنوعی این مسائل را به راحتی حل میکنند اما هزینه بسیار زیادی دارند. این چالش از شرکتکنندگان میخواهد که یک برگه تقلب (cheat sheet) یکصفحهای برای مدلهای کوچک و ارزان بنویسند. هدف، انتقال دانش از مدلهای بزرگ به مدلهای کوچک است. بهترین برگههای تقلب تاکنون دقت را از ۵۰٪ به ۸۰٪ رساندهاند.
مسابقه دیگر، مسئله معکوس گالوا (Inverse Galois Problem) است. این را مانند یک جستجوی تخممرغ دیجیتال تصور کنید. ۱۶۰,۰۰۰ ویژگی ریاضی مختلف، یا رنگ، وجود دارد. شرکتکنندگان به دنبال چندجملهایهای خاصی میگردند که با این رنگها مطابقت داشته باشند. اگر رنگ نادری پیدا کنید که هیچکس دیگری ندارد، امتیاز میگیرید. این کار ریاضیات را به یک علم تجربی تبدیل میکند.
این مسابقات جایگزین ریاضیدانان نمیشوند. آنها روشهای جدیدی برای کار ایجاد میکنند. آنها مسیر پیادهروی انسان را از بزرگراه هوش مصنوعی جدا میکنند.
این مدل میتواند برای تمام علوم کارآمد باشد. اگر حوزهای دارای مجموعهدادههای بزرگ و وظایف قابل تأیید باشد، میتواند از این روش استفاده کند. ریاضیات فقط نقطه شروع است.
Optional learning community: https://t.me/GyaanSetuAi