ПОСЛЕЗАВТРА

ИИ от Google занялся геометрией

Программисты Google DeepMind совместно с коллегами из Нью-Йоркского университета разработали новый искусственный интеллект, способный составить конкуренцию участникам Международной математической олимпиады. В статье, опубликованной в журнале Nature, разработчики описали новую систему ИИ AlphaGeometry, способную решать сложные геометрические задачи очень высокого уровня.

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

 При разработке AlphaGeometry создатели решили отказаться от обучения системы с помощью примеров. Вместо этого они использовали нейронную языковую модель, что позволило системе самообучаться. Это было достигнуто путем синтеза миллионов известных теорем и доказательств различной сложности. В добавок к этому создатели задействовали механизм символьного вывода (symbolic deduction engine), помогающий системе обучаться и решать все более сложные задачи без помощи человека. Для теста возможностей нового ИИ разработчики использовали 30 задач, предлагаемых участникам Международной математической олимпиады в период с 2002 по 2020 гг. Результаты испытаний показали, что AlphaGeometry смог решить 25 задач значительно лучше, чем предыдущие ИИ-системы, и показал производительность, аналогичную среднестатистическому медалисту математической олимпиады.