مدل‌های هوش مصنوعی به‌سادگی می‌توانند مقالات و انواع دیگری از متن تولید کنند، اما در حل مسائل ریاضی که به استدلال منطقی نیاز دارند، به‌هیچ‌وجه خوب نیستند. حالا گوگل دیپ‌مایند از توسعه دو سیستم هوش مصنوعی با تخصص حل مسائل پیچیده ریاضی با کمک استدلال پیشرفته خبر داده است.
گوگل ادعا می‌کند این سیستم‌های جدید که AlphaProof و AlphaGeometry 2 نام دارند، در حل چهار مسئله از شش مسئله المپیاد بین‌المللی ریاضی (IMO) امسال با همکاری یکدیگر موفق‌شدند تا امتیازی معادل یک مدال نفره را کسب کنند.
این اولین‌باری است که یک سیستم هوش مصنوعی در حل این دسته از مسائل به چنین موفقیتی دست پیدا می‌کند. معاون تحقیقات گوگل دیپ‌مایند که روی این پروژه کار می‌کند، می‌گوید:
«این پیشرفت بزرگی در زمینه یادگیری ماشینی و هوش مصنوعی است. هیچ سیستمی تاکنون ساخته نشده است که بتواند مسائل ریاضی را با این میزان موفقیت کلی حل کند.»
حل مسائل ریاضی که به استدلال پیشرفته نیاز دارند، به چند دلیل برای سیستم‌های هوش مصنوعی دشوار است. اول اینکه این نوع مسائل اغلب به ترسیم‌های انتزاعی نیاز دارند. همچنین حل آن‌ها به برنامه‌ریزی سلسله‌مراتبی پیچیده و همچنین آزمایش مسیرهای جدید نیاز دارد. تمام این موارد برای مدل‌های هوش مصنوعی بسیار چالش‌برانگیز هستند.
بنابراین گوگل دیپ‌مایند با توسعه مدل AlphaProof به‌دنبال مقابله با این چالش‌ها بوده است.
در حالی که AlphaProof برای مقابله با چالش‌های گسترده مسائل ریاضی آموزش داده شده است، AlphaGeometry 2 برای مقابله با مشکلات مربوط به حرکات اجسام و معادلات مربوط به زوایا، نسبت‌ها و فواصل بهینه شده است.
در تست‌های انجام‌شده با مسائل المپیاد بین‌المللی ریاضی، AlphaProof دو مسئله جبر و یک مسئله تئوری اعداد را حل کرده که یکی از آن‌ها سخت‌ترین سوال المپیاد بوده است. AlphaGeometry 2 نیز با موفقیت یک سوال هندسه را حل کرده، اما در دو سوال مربوط به ترکیبات ناموفق بوده است.
سپس دو ریاضیدان مشهور، نتایج ارائه‌شده توسط هوش مصنوعی را بررسی کرده‌اند. آن‌ها به هر یک از چهار پاسخ صحیح ارائه‌شده نمره کامل (هفت از هفت) را داده‌اند و AlphaProof و AlphaGeometry 2 در مجموع 28 امتیاز از حداکثر 42 امتیاز را دریافت کردند. به شرکت‌کنندگان انسانی که این امتیاز را کسب می‌کنند، مدال نقره تعلق می‌گیرد و برای دریافت مدال طلا باید حداقل 29 امتیاز کسب کرد.
