Міжнародна Олімпіада з математики - престижне змагання для старшокласників, в якому беруть участь найкращі учні з понад 100 країн.

Нова модель AlphaGeometry2 від Google DeepMind розв'язала 84% всіх геометричних задач з олімпіади, заданих за останні 25 років, побивши середній результат золотих медалістів змагання - 81,8%. Попередня версія моделі справлялася лише з 54% завдань. До слова, ні OpenAI o1, ні Gemini Thinking не змогли розв'язати жодної задачі.

Чим цікава AlphaGeometry2

AlphaGeometry поєднує в собі кілька ШІ-архітектур. Перша частина моделі - нейромережа на базі Gemini, навчена на 300 млн синтетичних теорем, аналізує умови задачі та пропонує ідеї для допоміжних побудов. Друга - дедуктивний модуль, який перевіряє гіпотези та робить висновки, крок за кроком наближаючи модель до розв'язання, відсіюючи галюцинації. При цьому обидва модулі постійно обмінюються інформацією. Це нагадує роботу нашого мозку у двох режимах: один відповідає за швидкі та інтуїтивні ідеї, а інший - за логічне мислення.

Як і математики-люди, AlphaGeometry2 має просторове мислення та вникає в логіку теорем. При цьому, зазначають експерти Google DeepMind, ШІ демонструє «надлюдську креативність», пропонуючи нетипові та елегантні рішення складних задач.

Як мінімум, такі моделі можуть стати основою нового покоління ШІ-репетиторів, здатних пояснювати учням суть розв'язання будь-якої задачі. Проте наділення ШІ можливістю занурюватися в абстракції такого рівня, як нестандартні геометричні теореми, може допомогти алгоритмам опанувати «людську логіку», що наближає нас до створення прогресивних моделей загального призначення.