🔻تحولی بسیار مهم در زمینه کاربرد هوش مصنوعی و یادگیری ماشین در ریاضیات

به استناد مقاله در حال انتشار زیر، هوش مصنوعی برای اولین بار با ترکیب چند روش حل مسئله توانست با حل ۲۷ مسئله از ۳۰ مسئله المپیاد ریاضی IMO-AG-30، امتیاز معادل مدال طلای المپیاد ریاضی را کسب کند.

عنوان مقاله: Wu's Method can Boost Symbolic AI to Rival Silver Medalists and AlphaGeometry to Outperform Gold Medalists at IMO Geometry

نویسندگان: Shiven Sinha، Ameya Prabhu، Ponnurangam Kumaraguru، Siddharth Bhat، Matthias Bethge

منبع: پیش‌نویس arXiv با شناسه 2404.06405
تاریخ انتشار مقاله: 9th April 2024
لینک اصل مقاله در arXive:
https://arxiv.org/abs/2404.06405

مراجع: این مقاله دارای 30 مرجع است که در انتهای آن آورده شده است.

خلاصه فارسی (977 کلمه):

این مقاله به بررسی توانایی‌های روش وو (Wu's Method) در حل مسائل هندسی المپیاد ریاضی بین‌المللی (IMO) می‌پردازد. نویسندگان ادعا می‌کنند که ترکیب روش وو با روش‌های نمادین کلاسیک مانند پایگاه‌های دادهٔ استنتاجی (DD) و ردیابی زاویه، نسبت و فاصله (AR)، می‌تواند 21 مسئله از 30 مسئله در مجموعه IMO-AG-30 را حل کند. این در حالی است که الگوریتم AlphaGeometry تنها 25 مسئله را حل کرده است. بنابراین، این ترکیب روش‌های نمادین می‌تواند سطح حل مسائل یک نقره‌ای المپیاد را رقم بزند.

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

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

در آزمایشات، نویسندگان دریافتند که روش وو می‌تواند 15 مسئله از 26 مسئله قابل ترجمه در IMO-AG-30 را حل کند. برخی از این مسائل توسط هیچ روش دیگری حل نشده بودند. با ترکیب روش وو و DD+AR، آنها توانستند 21 مسئله را حل کنند که تنها 4 مسئله کمتر از AlphaGeometry است.

علاوه بر این، روش وو دو مسئله از پنج مسئله‌ای را که AlphaGeometry نتوانسته بود حل کند، حل کرد. بنابراین با ترکیب روش وو و AlphaGeometry، آن‌ها رکورد جدیدی با حل 27 مسئله از 30 مسئله در IMO-AG-30 به ثبت رساندند.

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


@infinitymath