Интересно Нейросеть DeepMind приближается к "золоту" Международной математической олимпиады

[Sepultura_North]

Нейросеть DeepMind приближается к "золоту" Международной математической олимпиады​

18 января, 2024

Системе AlphaGeometry удалось решить 25 из 30 задач по геометрии.

Британская компания DeepMind - это компания искусственного интеллекта, основанная в 2010 году и приобретенная Google в 2014 году. Она специализируется на разработке передовых алгоритмов искусственного интеллекта и глубокого обучения.

DeepMind привлекла внимание мировой общественности, когда их алгоритм AlphaGo победил чемпиона мира по игре Го, что считается важным достижением в области искусственного интеллекта. После этого DeepMind работала над различными проектами, включая разработку алгоритмов для улучшения энергетической эффективности, здравоохранения и прогнозирования потребления электроэнергии.
DeepMind продемонстрировала возможности созданной ею системы искусственного интеллекта AlphaGeometry в решении сложных геометрических задач, используемых на престижной Международной математической олимпиаде среди учащихся средних школ.

По итогам тестирования на 30 задачах из прошлых олимпиад AlphaGeometry справилась с 25 из них в рамках отведённого лимита времени. Для сравнения, предыдущий рекорд для ИИ составлял 10 решённых задач, а средний результат победителя олимпиады - 25,9. Таким образом, по уровню владения геометрией нейросеть фактически достигла "золотого" результата человека.
Ранее системы искусственного интеллекта часто терпели неудачу при решении подобных задач из-за отсутствия навыков логических рассуждений и недостаточного объема обучающих данных. В основе AlphaGeometry лежит нейро-символьный подход, объединяющий сильные стороны нейронной языковой модели для быстрого поиска перспективных решений и символьного логического вывода для формальных доказательств.
Обучение системы AlphaGeometry было проведено на основе синтетических данных без использования готовых решений от человека. Процесс включал генерацию случайных геометрических диаграмм и анализ всех возможных отношений между элементами на этих диаграммах. Затем система находила все возможные доказательства в каждой диаграмме и определяла необходимые для этого дополнительные геометрические конструкции. В итоге был создан обширный набор синтетических обучающих данных, включающий более 100 миллионов уникальных примеров геометрических задач и их решений.
Поскольку каждая олимпиада включает в себя шесть задач, из которых только две обычно посвящены геометрии, AlphaGeometry может быть применена только к одной трети задач на данной олимпиаде. Тем не менее, ее возможности в области геометрии делает ее первой в мире моделью искусственного интеллекта, способной преодолеть порог бронзовой медали на Международной математической олимпиаде в 2000 и 2015 годах.
В DeepMind отмечают, что их конечная цель - развитие математического мышления для ИИ следующего поколения. Успешное освоение олимпиадных задач по геометрии - важная веха на этом пути, открывающая перспективы применения аналогичных подходов в математике и смежных областях