ماه پیش، ۳۰ تا از معروف‌ترین ریاضیدان‌های دنیا یه آخر هفته تو برکلی کالیفرنیا جمع شدن تا با یه چت‌بات مسابقه بدن و ببینن کدومشون تو ریاضی بهتره. ریاضیدان‌ها به چت‌بات چندتا مسئله داده بودن که خودشون طرح کرده بودن تا ببینن توانایی‌های ریاضیش در چه حده.

ریاضیدان‌ها دهنشون باز مونده بود. بعد از دو روز که سخت‌ترین سوال‌ها رو ازش پرسیدن، این ۳۰ تا دانشمند فهمیدن که چت‌بات می‌تونه بعضی از سخت‌ترین مسئله‌های ریاضی دنیا رو حل کنه. کن اونو، یه ریاضیدان از دانشگاه ویرجینیا و یکی از مدیران و داورهای این گردهمایی گفت: «من همکارایی دارم که رسماً می‌گفتن این مدل‌ها دارن به سطح یه نابغه‌ی ریاضی نزدیک می‌شن.»

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

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

چت‌بات o4-mini
این چت‌بات همون o4-mini هست که توسط OpenAI آموزش دیده و بهش میگن یه مدل زبان بزرگ استدلالی (reasoning large language model – LLM). این مدل آموزش دیده که بتونه نتیجه‌گیری‌های خیلی پیچیده و عمیقی انجام بده، از جمله تو زمینه‌ی ریاضی.

درست مثل مدل‌های قبلی چت‌جی‌پی‌تی، این مدل هم یاد می‌گیره که کلمه‌ی بعدی تو یه متن رو پیش‌بینی کنه. اما برخلاف نسخه‌های قبلی، o4-mini سبک‌تر، سریع‌تر و چابک‌تره و روی مجموعه داده‌های متمرکزتری آموزش دیده. علاوه بر این، o4-mini از مربی‌های انسانی هم راهنمایی و تقویت دریافت کرده (یادگیری تقویتی – reinforcement learning). به خاطر همین، این چت‌بات می‌تونه خیلی عمیق‌تر از مدل‌های زبان بزرگ سنتی، وارد مسائل و مباحث پیچیده‌ی ریاضی بشه.

لينک منبع