Дві системи ШІ від Google DeepMind розв’язали чотири з шести завдань на Міжнародній математичній олімпіаді (IMO), що еквівалентно срібній медалі.
Системи AlphaProof і AlphaGeometry 2 разом заробили 28 з 42 можливих балів. Обидві використовували різні підходи для розв’язання математичних завдань:
- AlphaProof. Він вирішував завдання з алгебри і теорії чисел. Система застосовує «формальну математику», щоб написати програми, які показують правильні відповіді на математичні задачі.
- AlphaGeometry 2. Ця система зосередилася на геометричних завданнях і розв’язала свою задачу всього за 16 секунд, показавши нестандартний підхід.
Що цікаво, одна з систем розв’язала найскладніше завдання олімпіади, яке вирішили лише п’ять з понад 600 учасників. Проте, для цієї задачі ШІ знадобилося до трьох днів, що перевищує часові обмеження олімпіади.