پژوهشگران دیپ‌مایند گوگل اعلام کردند که سیستم هوش مصنوعی آن‌ها در المپیاد بین‌المللی ریاضی (IMO) سال ۲۰۲۴ موفق به حل چهار مسئله از شش مسئله شده است. این پیشرفت نخستین بار است که یک هوش مصنوعی در سطح برنده مدال طلا در آزمون کامل عمل می‌کند و واجد شرایط دریافت جایزه پنج می‌لیون دلاری المپیاد ریاضی هوش مصنوعی (AIMO) می‌باشد.
سیستم آلفاجئوم‌تری ۲ ( ۲) مسئله هندسه را در کمتر از بیست ثانیه حل کرد. برای مسائل جبر، ترکیبیات و نظریه اعداد، تیم یک سیستم جدید به نام آلفاپروف را توسعه داد. آلفاپروف دو مسئله جبر و یک مسئله نظریه اعداد را حل نمود، هرچند حل مسئله نظریه اعداد سه روز زمان برد. در مقابل، سیستم نتوانست دو مسئله ترکیبیات را حل کند. در المپیاد واقعی، شرکت‌کنندگان دو جلسه چهار ساعت و نیم دارند.
آلفاپروف مدل زبانی را با یادگیری تقویتی و موتور آلفازیرو ترکیب می‌کند. شبکه عصبی با آزمون و خطا یاد می‌گیرد و اثبات‌ها را به زبان رسمی لین می‌نویسد که در بسته نرم‌افزاری دستیار اثبات اجرا می‌شود. توماس هوبرت، از اعضای تیم، گفت برای غلبه بر کمبود اثبات‌های لین، یک شبکه دیگر طراحی شد که بیش از یک می‌لیون قضیه به زبان طبیعی را بدون راه‌حل انسانی به لین ترجمه کرد.
کلید‌های جادویی
ترجمه‌های لین اگرچه کامل نبودند اما به اندازه کافی خوب بودند تا چرخه‌های یادگیری تقویتی آغاز شود. تیم گاورز در نشست خبری بیان کرد که نتایج از انتظار‌ها بهتر بوده است. او اشاره کرد که بسیاری از مسائل IMO دارای کلید جادویی هستند که پس از کشف، قفل مسئله باز می‌شود. در برخی موارد آلفاپروف خلاقیت ظاهری نشان داد، هرچند تعیین خلاقیت واقعی نیازمند تحلیل عمیق‌تر است، مشابه بحث‌هایی که پس از حرکت ۳۷ آلفاگو در سال ۲۰۱۶ پیش آمد.
مایرز در کنفرانس خبری افزود که مطالعات آینده نشان خواهد داد آیا این تکنیک‌ها می‌تواند تا سطح انجام تحقیقات ریاضی پیش برود و به مسائل دیگری که داده‌های آموزشی مشابه ندارند تعمیم یابد.
