АльфаГеометрия
AlphaGeometry — это программа искусственного интеллекта (ИИ), которая может решать сложные задачи в евклидовой геометрии . Она была разработана DeepMind , дочерней компанией Google . Программа решила 25 из 30 геометрических задач Международной математической олимпиады (IMO) в рамках ограничений по времени — результат, почти такой же хороший, как у среднестатистического золотого медалиста. Для сравнения, предыдущая программа ИИ, называемая методом Ву , смогла решить только 10 задач. [1] [2]
DeepMind опубликовала статью об AlphaGeometry в рецензируемом журнале Nature 17 января 2024 года. [3] В тот же день AlphaGeometry была представлена в MIT Technology Review . [4]
Традиционные геометрические программы — это символьные движки , которые полагаются исключительно на правила, закодированные человеком , для генерации строгих доказательств, что делает их негибкими в необычных ситуациях. AlphaGeometry объединяет такой символьный движок со специализированной большой языковой моделью, обученной на синтетических данных геометрических доказательств. Когда символьный движок не может найти формальное и строгое доказательство самостоятельно, он запрашивает большую языковую модель, которая предлагает геометрическую конструкцию для продвижения вперед. Однако неясно, насколько применим этот метод к другим областям математики или рассуждения, поскольку символьные движки полагаются на доменно-специфические правила и из-за необходимости в синтетических данных. [5]
АльфаГеометрия 2
AlphaGeometry 2 — это улучшенная версия AlphaGeometry, которая решила задачу 4 IMO 2024 всего за 19 секунд. [6]
Ссылки
- ^ "AlphaGeometry: Система искусственного интеллекта для геометрии уровня олимпиады". Deepmind . Получено 26 января 2024 г.
- ^ "Последний вызов ИИ: математическая олимпиада". The New York Times . Получено 26 января 2024 г.
- ^ Trinh, Trieu H.; Wu, Yuhuai; Le, Quoc V.; He, He; Luong, Thang (2024). «Решение олимпиадной геометрии без человеческих демонстраций». Nature . 625 (7995): 476– 482. Bibcode :2024Natur.625..476T. doi :10.1038/s41586-023-06747-5. PMC 10794143 . PMID 38233616.
- ^ "Новая система искусственного интеллекта Google DeepMind может решать сложные геометрические задачи". MIT Technology Review . Получено 26 января 2024 г.
- ^ Зия, Техсин (24 января 2024 г.). «AlphaGeometry: ИИ DeepMind осваивает геометрические задачи на уровне олимпиады». Unite.ai . Получено 03.05.2024 .
- ^ "ИИ достиг серебряной медали, решив задачи Международной математической олимпиады". Deepmind . Получено 15 августа 2024 г.
 | Эта статья, связанная с искусственным интеллектом , является заглушкой . Вы можете помочь Википедии, расширив ее. |
