گوگل دو هوش مصنوعی برای حل مسائل ریاضی پیچیده گسترش داده است_روشنفکر

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

گوگل ادعا می‌کند این سیستم‌های تازه که AlphaProof و AlphaGeometry 2 نام دارند، در حل چهار قضیه از شش قضیه المپیاد بین‌المللی ریاضی (IMO) امسال با همکاری یکدیگر موفق‌شدند تا امتیازی معادل یک مدال نفره را کسب کنند.

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

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

آخرین مطالب

• اول به مسی زنگ زدم، سپس به اینتر میامی آمدم_روشنفکر
• هواپیمای حامل عادل فردوسی پور دچار نقص فنی شد! + عکس_روشنفکر
• تمدید با ترابی، دانیال، شجاع و بیرانوند!_روشنفکر
• مطلب روحیه‌قسمت ذوب‌آهن به کمال کامیابی‌نیا_روشنفکر
• پت شاپ آنلاین | همه چیز برای سلامت و رفاه حیوانات خانگی شما

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

به این علت گوگل دیپ‌مایند با گسترش مدل AlphaProof به‌جستوجو مقابله با این چالش‌ها بوده است.

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

تست مدل‌های هوش مصنوعی گوگل و کسب مدال نقره

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

سپس دو ریاضیدان مشهور، نتایج اراعه‌شده توسط هوش مصنوعی را بازدید کرده‌اند. آن‌ها به هر یک از چهار جواب صحیح اراعه‌شده نمره کامل (هفت از هفت) را داده‌اند و AlphaProof و AlphaGeometry 2 در کل ۲۸ امتیاز از حداکثر ۴۲ امتیاز را دریافت کردند. به شرکت‌کنندگان انسانی که این امتیاز را کسب می‌کنند، مدال نقره تعلق می‌گیرد و برای دریافت مدال طلا باید حداقل ۲۹ امتیاز کسب کرد.