АльфаГеометрия

AlphaGeometry — это программа искусственного интеллекта (ИИ), которая может решать сложные задачи евклидовой геометрии . Он был разработан DeepMind , дочерней компанией Google . Программа решила 25 задач по геометрии из 30 на Международной математической олимпиаде (IMO) в условиях ограниченного времени соревнований — результат почти такой же хороший, как у среднестатистического человека, обладателя золотой медали. Для сравнения, предыдущая программа ИИ, получившая название «Метод Ву» , сумела решить всего 10 задач.

DeepMind опубликовал статью об AlphaGeometry в рецензируемом журнале Nature 17 января 2024 года. AlphaGeometry была представлена ​​в журнале MIT Technology Review . В тот же день

Традиционные геометрические программы представляют собой символьные движки , которые полагаются исключительно на закодированные человеком правила для создания строгих доказательств, что лишает их гибкости в необычных ситуациях. AlphaGeometry сочетает в себе такой символический движок со специализированной моделью большого языка, обученной на синтетических данных геометрических доказательств. Когда символическому движку не удается самостоятельно найти формальное и строгое доказательство, он обращается к большой языковой модели, которая предлагает геометрическую конструкцию для продвижения вперед. Однако неясно, насколько этот метод применим к другим областям математики или рассуждений, поскольку символьные движки полагаются на правила, специфичные для предметной области, а также из-за потребности в синтетических данных.