اخبار و کتاب های ریاضی

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

۱. ایجنت (Agent) یعنی چه؟

ایجنت هوش مصنوعی را می‌توان یک حل‌کنندهٔ خودکار مسئله دانست.
مثلاً فرض کن می‌خواهیم یک مسئلهٔ بسیار سخت ریاضی را حل کنیم. به‌جای اینکه فقط یک بار از ChatGPT بپرسیم، می‌توانیم صدها یا هزاران ایجنت داشته باشیم که هرکدام:
مسئله را از یک زاویه بررسی کنند؛
حدس و ایده تولید کنند؛
محاسبات انجام دهند؛
اثبات‌های مختلف را امتحان کنند؛
اشتباهات خود را پیدا کنند؛
از نتیجهٔ ایجنت‌های دیگر استفاده کنند؛
و در نهایت بهترین ایده‌ها را ترکیب کنند.
مثلاً:
Agent 1 → رویکرد نظریه اعداد
Agent 2 → رویکرد آنالیز هارمونیک
Agent 3 → جست‌وجوی محاسباتی
Agent 4 → بررسی یک لم خاص
Agent 5 → تلاش برای پیدا کردن نقص در اثبات
و این روند می‌تواند بارها تکرار شود.
بنابراین در این متن، «هزاران ایجنت» تقریباً یعنی هزاران نمونهٔ مستقل یا نیمه‌مستقل از هوش مصنوعی که به‌صورت موازی روی مسئله کار می‌کنند.

۲. توکن (Token) چیست؟

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

پس
ایجنت = یک ریاضی‌دان مصنوعی
توکن = واحد مصرفیِ فکر/متن آن ریاضی‌دان
البته این تشبیه دقیق علمی نیست، ولی برای فهم آن جمله بسیار مناسب است.

مثلاً اگر ۱۰۰۰ ایجنت داشته باشیم و هرکدام در چندین مرحله مجموعاً ۱ میلیون توکن مصرف کنند:
۱۰۰۰ × ۱,۰۰۰,۰۰۰ = یک میلیارد توکن

پس عبارت «هزاران ایجنت و میلیاردها توکن» اشاره به یک جست‌وجوی محاسباتی عظیم در فضای ایده‌های ریاضی دارد.
@harmoniclib

❤15👍2

1.48K viewsedited 06:34