یک ویتنامی در گوگل، هوش مصنوعی‌ای می‌سازد که مسائل ریاضی‌ای را حل می‌کند که مدال طلای المپیک بین‌المللی را «شکست» می‌دهد

هوش مصنوعی مدال طلای المپیک بین‌المللی را 'شکست' داد

سه هفته پیش، تیم دکتر مین ثانگ - محقق ارشد گوگل (ایالات متحده آمریکا) - با موفقیت نسخه AlphaGeometry 2 را توسعه داد. برجسته‌ترین ویژگی این نسخه این است که سطح حل مسائل ریاضی آن از برندگان مدال طلای المپیاد بین‌المللی ریاضی (IMO) در حل مسائل ریاضی هندسه پیشی می‌گیرد. دکتر ثانگ با خوشحالی گفت: «اگر برندگان مدال طلای المپیاد بین‌المللی ریاضی بتوانند مسائل ۴۰ از ۵۰ را حل کنند، AlphaGeometry 2 مسائل ۴۲ از ۵۰ را حل خواهد کرد.»

۲۰ سال پیش، دکتر ثانگ در کلاس ریاضی دبیرستان تیزهوشان شهر هوشی مین، شاگرد آقای لی با خان ترین - اولین ویتنامی برنده مدال طلای المپیاد جهانی ریاضی (در سال ۱۹۷۹) - بود. آقای ترین همچنین تنها ویتنامی است که به لطف راه حل کوتاه و چشمگیرش برای مسئله هندسه شماره ۳، جایزه ویژه این مسابقه را از آن خود کرده است.

آقای ثانگ با الهام از معلم بااستعدادش، همیشه به این سوال فکر می‌کرد که «آیا هوش مصنوعی ما می‌تواند مشکل آقای لی با خان ترین را در گذشته حل کند؟». این سوال منبع عزم آقای ثانگ برای ساخت نرم‌افزار هوش مصنوعی برای حل مسائل ریاضی بود.

هندسه آلفا که در سال ۲۰۲۲ متولد شد، مورد توجه همه قرار نگرفت، زیرا نرم‌افزار اولیه تنها می‌توانست چند مسئله ریاضی کوچک را حل کند.

دکتر لونگ مین تانگ (راست) در کنفرانس هوش مصنوعی GenAI Summit 2024 با کارشناسان به اشتراک می‌گذارد.

پس از ۲ سال توسعه، در ژانویه ۲۰۲۴، AlphaGeometry رسماً با یک مقاله تحقیقاتی که در مجله مشهور جهانی Nature منتشر شد، در دنیای هوش مصنوعی "آغاز به کار" کرد. این مقاله شامل ۳ دکترای ویتنامی: لونگ مین تانگ، ترین هوانگ تریو و لو ویت کواک، و دو خارجی، دکتر یوهوای وو و دکتر هه بود.

در این نسخه، AlphaGeometry با استفاده از مدل‌های زبان عصبی و استدلال منطقی همراه با داده‌های مصنوعی در مقیاس بزرگ برای حل مسائل IMO (مسابقات بین‌المللی ریاضیات) بسیاری از افراد را شگفت‌زده کرد.

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

۲۰ سال پیش، تانگ در حالی که در تیم خود رتبه هشتم کشور را کسب کرده بود، از شرکت در مسابقات IMO بازماند، در حالی که تنها ۶ شرکت‌کننده برای شرکت در عرصه بین‌المللی انتخاب شده بودند. با وجود رویای ناتمامش در ریاضیات، او با ورود به دانشگاه به هوش مصنوعی (AI) روی آورد. این نقطه عطفی بود که او را به شکلی خاص به مسابقات IMO 2024 آورد - نه به عنوان یک شرکت‌کننده، بلکه با نرم‌افزار هوش مصنوعی AlphaGeometry که توسط تیمش توسعه داده شده بود، و با استعدادهای ریاضی از بیش از ۱۰۰ کشور در بث، انگلستان رقابت کرد.

دکتر تانگ گفت: «در ژوئیه ۲۰۲۴، برای اولین بار، تیم ما هوش مصنوعی را برای شرکت در المپیاد بین‌المللی ریاضی (IMO) به کار گرفت و مدال نقره را از آن خود کرد.»

تانگ به عنوان مهمان ویژه در این مسابقه، خاطره بسیار خوبی از معرفی AlphaGeometry به شرکت‌کنندگان از سراسر جهان داشت و همچنین درست در همان مسابقه با معلم Le Ba Khanh Trinh آشنا شد.

9cbb024943b3f2edaba2.jpg

هدف ما در آینده توسعه یک برنامه است، یک نسخه هوش مصنوعی که بتواند مسائل هزاره ششم/هفتم را که جهان هنوز حل نکرده است، حل کند.

دکتر لونگ مین تانگ

ثانگ گفت که AlphaGeometry در حل مسائل هندسه قوی است، با این حال، ماتریس امتحان IMO 2024 فقط یک مسئله هندسه دارد و بقیه جبر، حساب و ترکیبیات هستند. AlphaGeometry تنها یک امتیاز تا کسب مدال طلا در بازی‌های بین‌المللی المپیک فاصله دارد، و همین موضوع او را به ادامه رهبری تیم برای توسعه هوش مصنوعی با توانایی استدلال فوق بشری ترغیب می‌کند.

به طور خاص، تمایل به ایجاد نرم‌افزاری که بتواند تمام مسائل هندسه را در IMO حل کند، به تیم دکتر ثانگ کمک کرد تا با موفقیت AlphaGeometry 2 را توسعه دهند - که 3 هفته پیش منتشر شد و با موفقیت مسئله آقای ترین را حل کرد.

دکتر لونگ مین تانگ معتقد است که AlphaGeometry نقطه عطف مهمی به سوی هوش شبه انسانی و نرم‌افزار خودآموز است. این پیش‌نیاز دستیابی به AGI (هوش عمومی مصنوعی) است - سیستم‌هایی که می‌توانند تمام دانش و ادراک را یاد بگیرند و از هوش انسانی پیشی بگیرند.

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

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

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

دکتر لونگ مین تانگ بیش از ۵۰ مقاله تحقیقاتی، ۴۰۰۰۰ استناد و ۲۰ اختراع ثبت شده دارد.

در Google DeepMind، دکتر لونگ مین تانگ پیشرفته‌ترین مدل‌ها را هم در زبان (QANet، ELECTRA) و هم در بینایی (UDA، NoisyStudent) ساخت. او یکی از بنیانگذاران پروژه مینا - بهترین چت‌بات جهان در سال ۲۰۲۰ - بود که بعدها به Google LaMDA، Bard و اکنون Gemini - محصول اصلی هوش مصنوعی گوگل - تبدیل شد. پلتفرم چت‌بات مینا هنوز هم رهبر جهان است و با چت GPT رقابت می‌کند.

دکتر ثانگ که از سپتامبر ۲۰۱۶ رسماً در Google Brain مشغول به کار بود، کار خود را با تخصص تحقیقاتی در یادگیری ماشین و پردازش زبان طبیعی آغاز کرد. ثانگ تنها ویتنامی در تیم تحقیقاتی کلیدی در مدل Parti (مسیرهای خودهمبسته متن به تصویر) است که به طور خودکار متن را به تصاویر در Google Brain تبدیل می‌کند.

تا به امروز، او بیش از ۵۰ مقاله تحقیقاتی، ۴۰،۰۰۰ استناد و ۲۰ اختراع ثبت شده دارد. به گفته ثانگ، در گوگل، محققانی هستند که فقط می‌خواهند مقاله بنویسند، اما تیم او بیشتر به خلق مقالاتی با تأثیر زیاد فکر می‌کند و در عین حال می‌تواند کاربردهایی ایجاد کند که میلیاردها نفر را تحت تأثیر قرار دهد.

برای مثال، در سال ۲۰۲۱، ثانگ روی یک برنامه کاربردی برای تغییر الگوریتم جستجوی گوگل تحقیق کرد و این برنامه یکی از ۱۰ پیشرفت برتر گوگل بود که برای کمک به میلیاردها کاربر در جمع‌آوری راحت‌تر اطلاعات انجام شد.

ثانگ تأکید کرد: «این امر مستلزم تفکر دقیق است زیرا در سطح من مشکلات زیادی وجود دارد که می‌توان آنها را حل کرد. نکته کلیدی این است که مشکلی را پیدا کنیم که اکثر مردم به آن نیاز دارند، حتی اگر هنوز به آن فکر نکرده باشند، اما باید بتوان آن را در عمل به کار برد.»

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

در اینجا، ثانگ شروع به مطالعه زبان طبیعی و ترجمه آن به زبان‌های مختلف کرد، بنابراین او به وضوح قدرت هوش مصنوعی را احساس کرد. ثانگ تا سال ۲۰۱۱ به عنوان دستیار تحقیقاتی در مدرسه حفظ شد تا اینکه بورسیه دکترا را از دانشگاه استنفورد، ایالات متحده آمریکا دریافت کرد.

در یکی از مدارس پیشرو جهان، ثانگ توسط پروفسور کریستوفر منینگ، چهره‌ای مشهور در زمینه به‌کارگیری یادگیری عمیق ماشین در پردازش زبان طبیعی، راهنمایی شد.

دکتر ثانگ به همراه ریاضیدان ترنس-تائو (وسط) و همسرش، وندی اوین نگوین (راست).

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

در پایان سال سوم، ثانگ در گوگل کارآموزی کرد و مسیر خود را در ترجمه هوش مصنوعی پیدا کرد. در آن زمان، ثانگ خوش شانس بود که با سه فرد برجسته در حوزه هوش مصنوعی همکاری کند: دکتر لو ویت کواک، یکی از افراد برجسته جهان در زمینه هوش مصنوعی؛ ایلیا ساتسکور - بنیانگذار و مهندس ارشد سابق OpenAI؛ و اوریول وینیال - معاون رئیس گوگل دیپ مایند.

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

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

قرار دادن هوش مصنوعی ویتنامی در نقشه جهان

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

در طول پنج سال گذشته، او و همکارانش که متخصصان ویتنامی هستند، سازمان غیرانتفاعی VietAI را تأسیس کردند و در مجموع بیش از ۴۰۰۰ مهندس هوش مصنوعی با کیفیت بالا را آموزش دادند. در میان آنها، ۴ مهندس جوان به اولین متخصصان توسعه یادگیری ماشینی گوگل در ویتنام تبدیل شدند.

هر روز صبح، ثانگ زود از خواب بیدار می‌شود تا پسرش را به مدرسه ببرد، سپس به دفتر مرکزی گوگل می‌رود. او صبح خود را با خلاقانه‌ترین و هوشیارترین کارها مانند خواندن تحقیقات علمی اخیراً منتشر شده، فکر کردن به ایده‌های جدید و برنامه‌نویسی و نوشتن کد شروع می‌کند.

گاهی اوقات، تانگ با گروه ناهار ترتیب می‌دهد، در مورد ایده‌ها بحث می‌کند یا مقالات علمی را با همکارانش می‌خواند. در طول استراحت ناهار، او با رهبران ارشد و گروه‌ها ملاقات می‌کند تا دستورالعمل‌ها را ارائه دهد.

دکتر ثانگ و همکارانش در تیم بنیانگذار AlphaGeometry در این دفتر کار می‌کنند.

اسکرین شات 2025-03-17 ساعت 12.01.55 بعد از ظهر.png

آرزوی آموزش صدها هزار استعداد هوش مصنوعی ویتنامی با شعار «صفر تا قهرمانی».

دکتر لونگ مین تانگ

اواخر بعد از ظهر، او معمولاً به پیاده‌روی می‌رود و برای صرف شام با خانواده‌اش به خانه برمی‌گردد. همسر او استاد وندی اوین نگوین، مدیر روابط خارجی جهانی و بنیانگذار موسسه میکروبیولوژی و اپیدمیولوژی استنفورد (دانشگاه استنفورد) است. این دانشمند 8X به طور محرمانه اعلام کرد که این زوج بسیار با هم سازگار هستند. همسرش همیشه او را تشویق می‌کند و در ویتنام همراهی می‌کند تا پروژه‌هایی را برای اتصال هوش مصنوعی و پزشکی بین ویتنام و ایالات متحده انجام دهد.

در آگوست ۲۰۲۴، ثانگ از آقای جف دین - "جادوگر" گوگل - دعوت کرد تا یک کنفرانس هوش مصنوعی در شهر هوشی مین، ویتنام، ترتیب دهد و هزاران شرکت‌کننده را برای گسترش دانش جدید در مورد این حوزه و ارائه توصیه‌هایی برای توسعه هوش مصنوعی در ویتنام در آینده، جذب کند. آرزوی ثانگ آموزش صدها هزار مهندس هوش مصنوعی تا سال ۲۰۳۰ است و تنها تا سال ۲۰۲۵، او قصد دارد ۱۰۰۰ مهندس ویتنامی با کیفیت بالا را در زمینه هوش مصنوعی مولد آموزش دهد.

موسسه هوش مصنوعی او از سال ۲۰۱۸ یک چارچوب برنامه درسی هوش مصنوعی با الهام از دانشگاه استنفورد و گوگل برای آموزش منابع انسانی در ویتنام ایجاد کرده است. ثانگ متوجه شد که دانشگاه‌های ویتنام هوش مصنوعی را آموزش می‌دهند اما دانش آن به‌روز نیست و هنوز کاملاً قدیمی است.

بزرگترین آرزوی او این است که بتواند هوش مصنوعی را به صورت متصل، بین دانشگاه‌ها، بین دبیرستان‌ها و دانشگاه‌ها، و بین موسسه خودش و دانشگاه‌ها، و به ویژه بین دانشگاه‌ها و مشاغل، آموزش دهد. این امر باعث ایجاد ارتباطات افقی و عمودی در آموزش می‌شود، دانش‌آموزان می‌توانند هوش مصنوعی را در مکان‌های مختلف مطالعه کنند، اما همه آنها به رسمیت شناخته می‌شوند.

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

منبع: https://vtcnews.vn/ts-viet-tai-google-tao-ai-giai-toan-danh-guc-huy-chuong-vang-olympic-quoc-te-ar931477.html