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

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

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

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

منبع: zdnet.com/ترجمه همکاران سیستم