Принадлежащая корпорации Google компания DeepMind представила ИИ-модели AlphaProof и AlphaGeometry 2, которые могут решать сложные математические задачи, с которыми не справляются другие ИИ-системы. Эти модели способны к продвинутым математическим рассуждениям благодаря их уникальному подходу к решению задач. Об этом сообщает The Guardian.
AlphaProof использует обучение с подкреплением и основан на языковой модели AlphaZero, которая уже показала свои способности в игровых ситуациях. AlphaGeometry 2, улучшенная версия существующей системы, специально разработана для решения задач по геометрии. Обе модели были обучены на больших объемах синтетических данных, что позволяет им эффективно решать сложные задачи.
Для проверки своих возможностей, новым ИИ-системам было поручено решить шесть задач Международной математической олимпиады (IMO). AlphaProof успешно решила три задачи, в то время как AlphaGeometry 2 справилась с одной задачей по геометрии. Две задачи по комбинаторике остались нерешенными.
Математики Тим Гауэрс и Джозеф Майерс оценили представленные решения и присудили им количество баллов, соответствующее серебряной медали на IMO. Это первый случай, когда ИИ-система продемонстрировала результаты, сравнимые с медалистом международной математической олимпиады.
