ШІ від Google здобув «срібло» на олімпіаді з математики

ШІ-системи від Google DeepMind здобув «срібло» на Міжнародній математичній олімпіаді, повідомляє Interesting Engineering. Розповідаємо деталі.

Що сталося

Дві системи ШІ від Google DeepMind розв’язали чотири з шести завдань на Міжнародній математичній олімпіаді (IMO), що еквівалентно срібній медалі.

Системи AlphaProof і AlphaGeometry 2 разом заробили 28 з 42 можливих балів. Обидві використовували різні підходи для розв’язання математичних завдань:

• AlphaProof. Він вирішував завдання з алгебри і теорії чисел. Система застосовує «формальну математику», щоб написати програми, які показують правильні відповіді на математичні задачі.
• AlphaGeometry 2. Ця система зосередилася на геометричних завданнях і розв’язала свою задачу всього за 16 секунд, показавши нестандартний підхід.

Що цікаво, одна з систем розв’язала найскладніше завдання олімпіади, яке вирішили лише п’ять з понад 600 учасників. Проте, для цієї задачі ШІ знадобилося до трьох днів, що перевищує часові обмеження олімпіади.