ИИ DeepMind способен решать задачи по геометрии на уровне олимпиадиков

^{AlphaGeometry / ©#nbsp;DeepMind}

^{Система AlphaGeometry, разработанная DeepMind (дочерняя компания Google), установила новый рекорд производительности#nbsp;ИИ при решении задач по#nbsp;геометрии. AlphaGeometry удалось решить 25 из#nbsp;30 задач, взятых из#nbsp;базы Международной математической олимпиады в#nbsp;период с#nbsp;2000 по#nbsp;2022 год. По#nbsp;оценкам DeepMind, золотой медалист (старшеклассник) решил#nbsp;бы 26 из#nbsp;30 задач.}

^{«Решение геометрических задач олимпиадного уровня#nbsp;— важная веха в#nbsp;развитии глубоких математических рассуждений на#nbsp;пути к#nbsp;более совершенным и#nbsp;общим системам искусственного интеллекта. Мы#nbsp;надеемся, что AlphaGeometry поможет открыть новые возможности в#nbsp;области математики, науки и#nbsp;искусственного интеллекта»}^,#nbsp;—^{отметили}^{исследователи Триу Тринь и#nbsp;Тханг Луонг.}

^{В#nbsp;DeepMind}^{утверждают} ^{(Nature), что доказательство математических теорем или логическое объяснение того, почему та#nbsp;или иная теорема (например, Пифагора) верна, требует как рассуждения, так и#nbsp;способности выбирать из#nbsp;ряда возможных шагов. Этот подход, по#nbsp;мнению исследователей, может оказаться полезным в#nbsp;разработке систем искусственного интеллекта общего назначения. DeepMind объединил языковую модель с#nbsp;более традиционным механизмом символьной дедукции, который выполняет алгебраические и#nbsp;геометрические рассуждения.}

Алена Кирсанова. Naked-Science

2024-02-07 14:20