یک سیستم هوش مصنوعی که توسط Google DeepMind، آزمایشگاه تحقیقاتی پیشروی هوش مصنوعی گوگل، توسعه یافته است، ظاهراً در حل مسائل هندسه در یک مسابقه بین‌المللی ریاضی از میانگین برندگان مدال طلا پیشی گرفته است.
این سیستم که AlphaGeometry2 نام دارد، نسخه بهبودیافته‌ای از AlphaGeometry است که دیپ‌مایند در ژانویه سال گذشته منتشر کرد. در یک مطالعه جدید، پژوهشگران دیپ‌مایند که پشت توسعه AlphaGeometry2 هستند، ادعا می‌کنند که این هوش مصنوعی قادر است ۸۴٪ از تمامی مسائل هندسه در ۲۵ سال گذشته در المپیاد بین‌المللی ریاضی (IMO)—یک مسابقه ریاضی برای دانش‌آموزان دبیرستانی—را حل کند.
چرا دیپ‌مایند به یک مسابقه ریاضی در سطح دبیرستان اهمیت می‌دهد؟ زیرا این آزمایشگاه معتقد است که کلید توسعه هوش مصنوعی پیشرفته‌تر ممکن است در کشف روش‌های جدید برای حل مسائل پیچیده هندسه—به‌ویژه مسائل هندسه اقلیدسی—نهفته باشد.
اثبات قضایای ریاضی، یا توضیح منطقی اینکه چرا یک قضیه (مثلاً قضیه فیثاغورس) درست است، نیاز به استدلال و توانایی انتخاب از بین مجموعه‌ای از گام‌های ممکن برای رسیدن به راه‌حل دارد. اگر فرض دیپ‌مایند درست باشد، این مهارت‌های حل مسئله می‌توانند به یک مؤلفه مفید در مدل‌های هوش مصنوعی همه‌منظوره در آینده تبدیل شوند.
در واقع، در تابستان امسال، دیپ‌مایند سیستمی را به نمایش گذاشت که AlphaGeometry2 را با AlphaProof—یک مدل هوش مصنوعی برای استدلال رسمی در ریاضیات—ترکیب کرد و توانست چهار مسئله از شش مسئله المپیاد بین‌المللی ریاضی ۲۰۲۴ (IMO) را حل کند.
علاوه بر مسائل هندسه، رویکردهای مشابه می‌توانند به سایر حوزه‌های ریاضیات و علوم گسترش یابند—برای مثال، می‌توان از آن‌ها برای کمک به محاسبات مهندسی پیچیده استفاده کرد.